Imagine that Disney wanted to open a pinball-only arcade in their parks (A permanent Flynn's, if you will), but that arcade could only consist of IPs and themes currently under the umbrella of the Walt Disney Company. This of course includes everything acquired from 20th Century Fox and Marvel.
Here are all the games I could come up with. Did I miss anything?

Tron Legacy (Stern)
Iron Man (Stern)
The Avengers (Stern)
Avengers: Infinity Quest (Stern)
The Incredible Hulk (Gottlieb)
Star Wars (Data East)
Star Wars (Stern)
Star Wars Trilogy (Sega)
Star Wars Episode I (Williams)
Indiana Jones (Williams)
Indiana Jones (Stern)
Spider-Man (Stern)
The Amazing Spider-Man (Gottlieb)
X-Men (Stern)
Deadpool (Stern)
Guardians of the Galaxy (Stern)
Avatar (Stern)
Pirates of the Caribbean (Stern)
Pirates of the Caribbean (Jersey Jack)
The Simpsons Pinball Party (Stern)
The Simpsons (Data East)
Family Guy (Stern)
X-Files (Sega)
24 (Stern)
Independence Day (Sega)
Alien (Heighway)

It was there in October, and last I heard it was "out for maintenance" in November. Is it back yet? No one knows! If you see it, please report back.

But if it is there again, it's located in the corner of the indoor seating area at Bengal BBQ, which is connected to the Adventureland Bazaar.