Keep in mind this is now 2022 and the 100th best 5k last year was 13:46 and the 200th best 5k time was 13:58. 217 people broke 14.
They are now running cross country in super spikes. Training methods are better, nutrition is better.
He has a young group that's going to struggle with 10k.