I was never able to sprint very fastso my mile time stopped there, but I was able to run my top pace for a pretty good distance. I managed a 16:49 5k (once in perfect conditions at my favorite course also a 5:25 pace), but beside that generally mantained ~17:20. So my typical best all out run for over 3 miles was still a minuts slower than him.