Austin, you made me chuckle. You're right, though.
EastnWest, we're switching him in the fall. He's not unhappy where he is, and he copes with his boredom by being *very* social in class. At first I felt a bit sorry for his teacher. But we have discussed with her why he might be chatting and cracking jokes instead of working, and she hasn't really bought it, so I'm all out of sympathy.
So, we'll get through the next couple of months giving him more stimulating materials at home, and start our new chapter in the fall.