Pretty cool that muppets get the cast credits. I wonder if that bothers the puppeteers.