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 " ?
The song is used in the ending of the "" How the Saints Save Christmas "" downloadable content for " Saints Row IV " .