I've seen a few nice example listed over the past few months, and they seemed to struggle to get $4500. This title seemed to take a hit value wise after JJP's POTC was announced, not to mention a flood of people suddenly selling the title.
https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=1166
One HUO stock game in my area went down to $4375 before it moved.