Quoted from acitti:I am open to offers, with all these $10k++ Stern pro machines floating around these days, I don't know what to think anymore. The only documented time I have seen one of these sell was the one back in 2007. I am not firm on my price but I wanted it to get some attention. It's not like anyone has this machine on their "Wish List".
FWIW, The FUN! Auction at TPF 2015 (where I got my first pin [BSD]) had an OCC go for $8600 before fees: https://pinside.com/pinball/forum/topic/tpf-auction-comments-and-pictures#post-2345990
Of course irrelevant to the current market, but a more recent sale than 2007 for reference.