I saw here a few days ago that a Frankenweenie preview was playing in the muppetvision theater instead of the muppets. Some folks said it was only Frankenweenie, others said they were playing both. Anyone know what's happening now? We're arriving Sunday and are huge Muppets fans with zero interest in Frankenweenie. I was really hoping to use the show as a good way to take a break from the heat. Any news?