I have a minty one I picked up a few years ago. Undocumented HUO and I paid $6900 for it. I've added some things such as side art blades, Shrek shooter rod, speaker light kits, etc. I was looking for a few years. Even had a pending deal with a guy in N.Y. at a 9hour drive away that fell through. They are very rare. Pinside states 600 made, but I heard many went to Chucky Cheese locations and where abused or ruined. I think of selling mine sometimes, but struggle with likely not ever finding a nicer one.