Good point. after your post, I was puzzled why I remembered it as significant. Then I managed to find my old running diaries and confirmed (to myself) that it was an imperial mile as opposed to a metric mile. He managed to close with a 72 to get under 5. I subsequently found out he was a half decent miler 30 years before. Tough as old boots.
Believe what you will.