That price is $400 too high, IMO. My advice is to go look at this ST premium that's in CA for $6000. https://pinside.com/pinball/market/classifieds/ad/45109
I'd like to get a HUO ST, and if I lived anywhere near there I'd have gone to look at it already!
Good luck.