Question about Sesame music

[MUPPETMONKEY]

I bought Elmo's "Reach for the Sky" DVD for my kid and the main menu featured a very broadway-like instrumental version of 'What's the name of that song". It sounds great, but I've been trying to look all over for it with no success.
I assisted to Sesame Street Live and they played those "broadway" versions of their classical songs while we waited for the show.
Are these versions exclusively for the show or are there any soundtracks featuring them?

 

[ILuVERNIE]

They are just for the show, unfortunately...