Karin Perrotta (Post Production Supervisor) just reminded me that Butters was originally known as "Puff Puff" when he was just another kid filling out school scenes. In fact, he's still identified as "Puff Puff" in our Power Animator Files - even though he was first identified as Butters in Episode #308 - "Two Guy Naked in a Hot Tub." He's now known as Butters for the purposes of our Maya software.
Oh, and the red-haired girl that some of you folks have been asking about is named... "Red."