$2200 and a box of bulbs as it sits, would be my guess. Shopped and an LED job you could get $3k from the right buyer.
Doesn't look unused from these pics. Maybe you didn't use it but someone did in it's 23 year history.
A Mint could fetch ~$4k from a fan or collector with more money than sense.. Have the box? Add $1k. This one? List it for $2400 probably. With the movie hype, maybe a little more but not much. A good LED job is going to be $300, plus someone's time to clean it thoroughly and wax it, needs some cliffy's too..
It is a fun pin, I have a nostalgic appreciation for it but sold mine - it gets repetitive quickly as a game room piece.
Welcome to Pinside