If this kid is generally happy and honest and reasonably reasonable, I agree with let him be.
I was a reasonably decent high school runner - this was over 35 years ago - ran 4:08 for the mile.
I was pushed into running by my father who saw some talent in me and who dearly wanted no financial responsibility for his kids - running was a way to get me off to college at no cost to him (and me going to college was important in his upper middle class social status). He was a former very successful high school coach before going into business- so my running was also vital to his ego.
In any event, running was an exercise in sheer abuse and misery. . After a poor performance (e.g., a 9:40 two mile as a ninth grader - I did run 9:20 that year), a head bashing against the basement wall was in order. This was not uncommon and occurred often. My attitude today towards running is highly ambivalent as a result (I had some talent) and I would have been a much happier kid if I just found my own way. I understand that the father posting here is likely a very reasonable guy and would not, as my father did, beat the daylights of out his kid to get him to run, but I think the point is that you appreciate the kid as they come to you.
My academic accomplishments turned out - statistically at least - to be much rarer and much better than anything I did as a runner - and I was a consistent Division 1 big conference all-conference type. I used to dream of spending quality time to studies in high school and college, and finally did so in graduate school, where I developed my own sense of accomplishment and gained true freedom. I was happiest in my twenties when I could just be myself. I consider myself lucky, by any standard.
I let my kids just be - they are both excellent students (as in at the very top of the heap) and are happy.