i have the 1km equivalent to 141.9 ish and not the 142.5 some suggest.
the 800 record should be 140 low now with the current crop, with Kip Coe Rus at 139 mid with todays stuff, at a minimum, that isn't in the perfect race, a very good race conditions.
and with the bicarb and basket of hacks, the current crop can go 210 low at least, EPO, doping hacks very much allows.