If 5of6 enjoys the class and wants to learn more, H3rb says he knows of a couple of books written for children with activities to program things on the Raspberry Pi.
this sounds great! I hope he enjoys it. Raspberry Pi is a good way in to computing and also its interaction with the real world through sensors and even robotics later.