We are big Disneyworld fans. Honeymooned there 11 years ago and We have Annual Passes. There are a lot of pinball machines at the Disney resorts. I play a lot when my girls are taking a nap during the day. There used to be several in the arcade at Space Mountain but they got rid of the arcade.
I put some serious time into a Tron and Pirates of the Caribean one year we stayed for 2 weeks at the Caribbean Beach Resort.
I saw in some new YouTube videos that they have Star Wars at the resorts now, couldn't tell if it was the pro or premium.
Pretty sure I'm going to be playing one within a few hours of checking in.
The real fun part is the replay levels are usually set so low I get a free game at least every other game so I can play quite a bit for very cheap.
They used to have a lot in downtown Disney at DisneyQuest but that has been closed and since it was all on freeplay they were real beat up. Most of them at the resorts are in pretty good shape. One had some issues one year so the first day I told them about it and someone came out and fixed it right up.
I would love a Disney World pinball, so much potential there.
One of the reasons my first pinball was Comet is my family loves the theme park theme.