I was thinking of his REAL record (the one that was really good, where he beat XXX (late, I am tired, the guy was really good, but slowly faded after this beating)) when he ran ~12:40. One of the few WRs at the distances where it was a race and not a time trial (although the 1500 had a fabulously fast second place -- Lagat). You have a better memory for the full history and I clearly yield to you in this regard [and in a couple of others, as you probably know I do not have the same degree of reservations about your knowledge and ideas that many others have ;>)].