Don't sweat schooling. It's good for him to be with people his age, and he will be fine long term. Let him do extra curricular that fill his curiosity.

When he gets to college he can really excel, until then just let him go to school and make friends with kids his age.

I understand the sentiment, but you also can’t write off 18 years of development.

The mistake would be assuming public school will be both socially and intellectually fruitful. No man can server two masters. Budget time accordingly.