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 " ?
They also performed " Saturday Night Life " and participated in " The Happiness Hotel " in " The Great Muppet Caper " , and performed " Jingle Bell Rock " in " A Muppet Family Christmas " .