What is the name of the song that was performed by Dr. Teeth and The Electric Mayhem in the 1987 Christmas television special " A Muppet Family Christmas " ?
As with all Muppet movies ( except " Muppets from Space " ) , " The Muppet Christmas Carol " was filmed as a musical .