Quoted from woody76:Less than a year ago one in about the same condition but came with full brass trim set (not installed) and a bunch of mods (not installed) for less than $6k (not on pinside)
https://pinside.com/pinball/market/classifieds/archive/116261 - here is one from less than a month ago for $6k
This pin is only worth more than $6-7k if it is fully restored in my opinion.
Seriously? The market completely disagrees with you.