Thanks for reviving this thread! We went for it and hired a coach online. There were bumps along the way but my son ultimately ran 15:51 in the 5k and got to 4:04 in the mile! There is room for improvement as he is only at 1:58 in the 800m. We focused more on strength than speed and he ran an 8:48 in the 3200m along the way. The focus is shifting to speedwork as he transitions to college. Expect big things!