Speaking as a former High School Track and Cross Country Runner (Spoiler threat level low)

4.03 minute mile is insane. Our High School had a great program and the top runners could do 4.20 best.