Is anyone else thrown off by Bip Bibadotta's name change to Mahna Mahna? I noticed this recently in the funkopop thread. I don't get why his name was officially changed to the name of that song. Yes that is his most famous skit, but he's also been in a bunch of others. And he was one of the first original muppets when jim henson first started puppetry on tv, before the muppet show or sesame street were even a concept. Does anyone know when or why it happened?