For further context, every saturday morning at 9am there is a parkrun. There are 500odd in the UK alone and there have been a total of 51,363,611 (51 million, 363 thousand, 611) parkrun times and 5 (FIVE, only) have been quicker than the pace Kipchoge ran EVERY 5k split during his run yesterday.
So what you're saying is he couldn't do it on a cold rainy Saturday morning in October on Worthing seafront?