Paul Short today was not a real 8k, right? I mean, when was the last time 90 guys broke 24 in one race, especially one like this without many top 30 teams in it? I can see Parker wolfe and a few other top guys running 23:20 on a good day, but 23:00 is a 40 second PR even for him, which seems pretty unlikely. I mean, it can't be that unheard of for races to be measured short, especially if they moved around the start line or finish.