Quoted from Whysnow:punch in CP and you will find legit HUO examples for what you are asking.
Don't forget that there's also several HUO for $6500 and nicer examples that were listed in the $5000-6000 range. Someone selling a HUO CP for around $5k would be selling too cheap, don't you think? My bet is a true HUO could fetch $7k easily if it was still looking very close to new. There'd probably even be a buyer who values condition over price and be willing to pay even $8-10k for one since it'd still be cheaper than taking a lesser machine and having it restored to as-new condition by a high end restorer. For a 20 year old game, having one that looked like it was just taken out of the box should make it worth 2018 new game pricing of $6-8k easily. But hey, that's just my opinion FWIW in terms of a HUO example of this game, which this is not.
What's listed here is a machine most anyone would feel was worth in the range of $4000-5000 and arguments over a few hundred dollar difference in where pricing should be. Yet it goes back to the same old thing each time.. the seller's desire for a certain price based on a variety of factors, some of which can be assessed by others and some that can't. Condition can be assessed and pricing can be assumed based on what else has sold or what other machines were listed for, Boston Pinball, eBay pricing, etc. Then there's stuff without an exact science -- availability, location, potential buyers that may have been looking for a local pick-up and value not having to drive 500+ miles to save a few hundred dollars. Then other factors that don't fit any "what's this machine actually worth" formulas or historical pricing data, like desire to move a machine from a collection or keep it and continue to enjoy it if it doesn't sell.