It's a straight up fantastic game and its value has held or gone up a little over retail. For better pr worse 2012 saw everything go up. I think Spider-Man is in the 5K range now in descent shape.
As for mine, it would require "an offer I couldn't refuse" and no one should spend that on a pinball. I have an emotional attachment to it.