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 " ?
Dr. Teeth and Animal were designed by Jim Henson , while the rest of the original band members were designed by Michael K. Frith .