Happy to help. And good to know that you've been able to definitively clear up the school nudges regarding ASD and ADHD.
I think you are exactly correct: his instructional needs likely far surpass what even this GT school offers. I'm deeply underimpressed by the GT teacher never having encountered a student gifted in math who doesn't show work because "there aren't any steps" (as one of my math-gifted siblings once said, in response to a similar complaint). Not sure what kind of GT students they've been teaching previously.
Although keep in mind that, if their average GT student is in the 130s, your DC is statistically at least as far above them in giftedness as they are above a neurotypical learner (likely more, since his scores are clearly a lower limit on his reasoning ability). So despite being GT-trained educators, the teachers may be as out of their depth with him as a classroom teacher at a comprehensive would be with one of the typical students at the GT school.
