How about if one of the other manufacturers license TRON instead ? If stern does not want to revisit I would be happy to see someone else give it a shot. Just keep it flowy and get me that soundtrack again. JJP got pirates.... tron is family friendly theme....maybe a good fit. American pinball, could be a good theme to grab. Probably not as big as avengers, but still a pretty hardcore base.
By the way, all for a vault, but not sure if we are ever going to see it.