My experience is that happy children are a good thing. While kids experience boredom and frustration in different ways, some kids really are happy, even without adequate challenge at school.

Along with let sleeping dogs lie and never wake a sleeping baby, I'd add let happy children coast smile. When/if they become unhappy children, advocate!