IAAF world record website:
http://www.iaaf.org/statistics/recor...ea=/index.html
World record for 3000m (not steeplechase) = 7mins 20.67 secs
World reord for 5000m = 12mins 37.35 secs.
Assuming a linear relationship, a slight, but not unreasonable assumption, the world record for 4000m would be approx. 9mins 59.01 secs. Given that 2 1/2 miles is 4023m, our TokZik, at 9mins 22 secs, is about 37 secs ahead of a world record.
Either that or he is talking ................!!!!!!