Those 5k times are insane - to run a 13:42 5k at 35k in is just mind-blowing….