Heard Ben Heck talking about this on his latest podcast:
http://www.benheck.com/podcast/benheck-com-podcast-episode-107/
While initially this might be off topic, it could very well affect pinball in a major way. Fox would appear to be a more reasonable company to deal with price-wise, while Disney wants their money (look up mickey knock-offs in china). Seems like Stern Star wars may have cut some features out compared to say a ghostbusters. Tron vault edition makes the most sense, but perhaps it hasn't happened yet because they haven't been able to negotiate a reasonable license fee to reproduce them?
Now if Disney buys fox...
Family guy vault might not happen
Simpsons pinball party vault might not happen
Forget about a futurama pinball happening