https://www.reddit.com/r/pinball/comments/1pjlf5k/footage_of_gomez_confirming_either_pok%C3%A9mon_or/
Update 2025-12-24 (PST) (AI summary of creator comment): The market will resolve YES if The Pokemon Company and/or the pinball manufacturer (e.g., Stern Pinball) releases a licensed Pokemon pinball machine, even if Nintendo is not directly involved in the release.
This game was rumored to be designed by Jack Danger, but he recently stepped back from designing. He's still employed by Stern as head of community. He's just said that he was midway through designing a game when that happened and George Gomez took it over to finish it.
This doesn't affect the probability of this market really but it's interesting news to me because I know their respective design philosophies.
Source:
10:35
https://www.youtube.com/watch?v=MEryVstDuzw