Hi Mike and welcome to the Boards! Thanks for the info and the vid. Since we already have a thread about the Muppets and OK Go, this would have been much better placed in that thread: OK Go + The Muppets = A Muppet Theme Song! I'm going to repost your info there so that anyone doing a search can find it there, too.
I see above that the video didn't embed the way you probably wanted it to, so here it is:
Comments
I see above that the video didn't embed the way you probably wanted it to, so here it is: