Anybody watch the Muppets on Thanksgiving day Macy's parade?

I recorded it on my TiVO. Didn't know the Muppets would be doing opening songs. You can even see part of the puppeteers in black. I have only watched the first 30mins. It recorded for 3 hours! Anyone know if they are on all through it?

Donald Trump Tribute Documentary
You've Been Trumped (2011)