It's funny that there's a search for them now. I had mine listed in December at $4500 and nobody wanted one although it was a bad time with the holidays. It was a (undocumented) HUO machine that was very nice. I let it go for $4000 so I could move it to get something else which I still haven't found yet. So they're out there. Here's my ad to give you an idea. Not sure if you're willing to come up to 4k but you should be able to find one.
https://pinside.com/pinball/forum/topic/undocumented-2005-build-huo-tspp-in-se-pa-4400#post-2104971