I'm not quite sure what you're referring too, but there is something about a Sesame Disco album which was released in 1979. I believe it's online somewhere where you can hear the songs, but I can't remember the link. That would probably be the best place to find the sketchh you're looking for.