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 " ?
" Jingle Bell Rock " is an animated Christmas special first seen in 1995 on ABC , which was produced by DIC Entertainment and featured Milton Berle as one of the voice actors .