As someone who fully admits to my addiction to pinball (I have 6 machines myself, and 2 of my close friends have a combined 30+), I figured I'd chime in here with some info as I too would like pinball at Disney... but won't hold my breath. But there are alternatives!
1) I always heard (especially at DisneyQuest) that the pinball machines were in subpar condition. Pinball is an awesome hobby, but one that consumes money, space, and time. Operators of arcades know this and have to weigh that against video and redemption machines which are far less likely to break down. Though there are some great locations, many places that have pinball don't know how to care for them, or find the care bothersome. There once was a Star Trek pinball I believe at Islands of Adventure that was notorious for how worn down it was.
2) If you really do have a fondness for pinball, it's a very exciting time for the hobby. A decade ago, the only manufacturer around was in danger of going belly up. Thanks to barcades and just retro things becoming cool again (see Captain Marvel fight scene with Space Invaders machine), there are about a half dozen companies producing arcade quality machines, many of which are purchased by home collectors like myself.
3) If a pinball AND Disney fanatic, there's a fair amount of Disney/Marvel/Lucas titles from which to choose. Stern Pinball over the past ~decade has made machines for the aforementioned Tron, Pirates of the Caribbean, Guardians of the Galaxy, Deadpool, Spiderman, Avengers, Avatar (eh, almost "Disney"), Ironman, X-men, and Star Wars. There's also a company Jersey Jack Pinball which has made one of the most fantastic works of pinball art in The Wizard of Oz Pinball (see pics below and say you don't want to play that!) and also has released their crazy own Disney POTC machine which has a rocking ship w/ mini-playfield, and is reportedly about to launch Willy Wonka this Friday at the Midwest Gaming Classic.
4) If you decide that home ownership is not your cup of tea for any of the reasons mentioned above in (1), there are still many places to play around the country, and even in Orlando when visiting Disney. If you have an off day or a rain day, check out The Pinball Lounge in Orlando which I believe has 32 machines and even more importantly, ownership that cares about their cleanliness and condition.
TLDR: Even if Disney doesn't return to pinball operating, there are probably many locations around where you live, companies that will sell directly to you if you want to get into the hobby, leagues to join, and even decent spots around the WDW/Orlando area.
View attachment 363218View attachment 363219View attachment 363222