Personal bests: 1:59/4:16/9:24 as of right now
But we might actually have a 1:57/4:09/9:05 type who looks like your typical freshman. Age is entirely in bounds! The 9:24 was a jog in the park last month. He won the race handily under the lights and in the April cold.
His dad was a 4:01-ish/13:48 guy in college. Mom was competitive too.
You heard it first!