Here's a HUO one for what I would expect for a really nice example. I didn't think these were 6-7K either, and I'm in an expensive region: haven't seen them go for that here.
https://pinside.com/pinball/forum/topic/for-sale-the-simpsons-pinball-party-102