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 " ?
An Electric Mayhem " survive " tour , with animatronic versions of the puppets , and rock band My Morning Jacket performing the characters , was proposed by The Walt Disney Company , but ultimately abandoned .