I can see why he'd want out of ETC. It sounds like it is not stimulating at all. Would they support an after-school math club, if you could find funding for it? I don't have any ideas to help you. Let us know what you hear.