In Australia so the pricing is slightly different, but I've bought 2 @ $8k in the last 12 months. One totally original, with zero wear anywhere, just had cab fade. The other had a complete ground up rebuild (playfield, ramps, etc etc).
I passed on 1 at $6k with moderate playfield wear.
Generally DMD era machines are 30-40% dearer over here, so either we're about to have massive increases in the price of AFM and MM, or you guys are paying too much.