Correct. I never knew Joe wrote so many Muppet Show/movie songs. I am more familiar with his work on Sesame Street (e.g. Being Green, C is for Cookie, Somebody Come and Play, Sing, etc.).
Nightlife is a great song, but too short for me (only a minute & a half). I wish Jim & the crew recorded a longer version, like 3:00 or so.
I also just remembered the interlude from the song "Happiness Hotel," after Zoot explains why Animal is upset. (He missed the Rembrandt exhibit at the National Gallery! LOL) I know that this song may be a stretch, but the EM did "perform" it for Kermit. Plus, Janice, Zoot, Lips, & Animal all get solos...there aren't many things better than that.