Additionally, a re-theme of Rock 'n' Roller Coaster ... Inc."-themed coaster and a new theater show in the former Muppets ...