Update here - he is REALLY enjoying the Youth Digital class. He's worked it out with his teachers that he spends 20-30 minutes of class time on it everyday. He would spend all day on it if he could but this seems like a workable compromise.

It is nice that his teacher left a career in programming to be a teacher.

Youth Digital has had several holiday sales if anyone is interested.