Thanks Portia, I think he would speak up (perhaps too much.) But looking at the class again, a 7:30am start may be a deal breaker on this end.

Thanks ohmathmom, AoPS is mildly tempting and theirs directly satisfies a pre-requisite for Epsilon Camp if we look at that for next summer. DS' challenge is with written communication particularly spelling.

And tomorrow is monthly math club where I'll see if anyone knows of other local options.