Stop it with the Marvel guys as I believe GOTG is going to be the only attraction related to it in WDW.
Doctor Strange can be used for a ride if they wanted to put him in WOL next door, but you’re probably right, we won’t see anything else from Marvel at Disney World.