I'm selling mine for 8k. Domestic with a Chris Hutchins restored playfield, new ramps, all mechs rebuilt as well as underplayfield rails. I have had it listed for a while and have only had trade bites at this point.
Just putting this out there so you know what is on the market and what you can compare the game to.