Yep, that was playing everywhere when we were kids. One of those unavoidable hits.
Oh, I forgot to mention with "Blue (Da Ba Dee)" that we seriously need to see Grover or Cookie Monster sing that one. Maybe in a sequel to that '80s medley a couple years ago.