If he likes ALEKS and it works for him, I would use that. My DS8 did that last year in his public school. The school can get it for $40/year, where it would cost you $20/month at home. We offered to pay for it but they insisted on using GT money.