While digging up the link to the video file, I found out that York University a cappella group Wibijazz'n did covers of both the Sesame Street theme and the Pinball Count Song on their 2002 album In The Pocket, so that's been added to my future purchase queue.
I've conceded that I no longer have the mix CD that had the Smart E's remix of the Sesame Street theme. If anyone can point in me in the right direction to acquire another copy, I'd appreciate it.
Yesterday, Laurel danced to most of the 1978 album Sesame Street Fever, which I actually owned on 8-track at one point but currently have in in MP3 format courtesy of SesameSeventies. (Sadly, the site appears to be down.) There's always something funny about Robin Gibb interacting with various Sesame Street characters.