Is the Singing Auto-Tuned?

I can't help but wonder. The theme song, for example, sounds too "perfect." The voices don't sound like children - they sound computer-generated!