they must not .... surley u would think they would be up with the times???   A new music pinball.. easy ..how about a ''PINK'' pinball??? other Winning themes,
Harry potter
stargate atlantis
star trek voyager or DS9
zuzu pets would be good for operators w/ticket despencer

tron might get them some sales for both the home & operators market
as for muppets not sure, if it were put in a timezone would the current generation of children even know  who the muppets are?