I got 7 on the dot last year, but I'm tall, skinny, about 3-5% fat, and about 160 pounds, so running isnt bad for me. Not that I like it, lol.
My friend carlos can run it in about 4:12 I think is his record. Some kid at the Jr. high just beat his record up there tho, which was 5:33, now its 5:28. So we have some decent runners, but as a team, not so great.