Yup, I've seen it before, it's great! It's available at The Museum of TV and Radio (now the Paley Center of Media). I loved seeing the puppeteers interacting with each other.
"We get to do what everyone else wants to do and that's act crazy. Except we get paid to do it!"
Richard Hunt