7.5 laps.
Rather fast.
I only twice broke 9 minutes, 8:54.5 & 8:59.9, and they were both flat out in my mid-late 20s.
Good luck!
I'll be aiming for 10 mins I think.
When i did 8:59.9, I won by 0.1 secs, and the guy on 9:00.0 was over 40! I was 26.
Go for it. Pace to sub-10.