I ran collegiately I was a 400/800 runner and a guy I work with claims he ran 3:45 1500m. Age wise he is 58 or so. I looked him up and did not see anything at all relating to a 3:45 1500m in connection with his name. My thoughts if you ran a 3:45 1500m wouldn’t that time be listed in IAAF or something? I am thinking a 3:45 1500m is inside 4:00 for a mile not exactly a random runner time. My times are not listed because I only ran 49.76 and 1:57.15. I am only skeptical because the guy tries to one up everyone. For example, if you play poker, he plays in the World Series Main Event and cashed, if you surf, he has charged Mavericks.