Licensing absolutely expires, and Stern's certainly has. They can renegotiate of course.
This is a Pinside unicorn, people have been saying "surely it's about to happen" for years now. Meanwhile they didn't buy when Stern did another last run of the games.
Don't worry, I'm considering selling my Tron, and they vaulted my ACDC right before I put it up for sale, so I'm sure I can summon another vault if I just commit to selling.