My 8th grade brother ran a 5:06 1600 the other day. He runs very little, around 4 times a week, and it's mostly track workouts. Do you think I should contact a professional coach or should he be coached by his local high school coach? I think he has potential to become a top runner