https://pinside.com/pinball/market/classifieds/archive/77654
I bought this last summer and couldn't be happier with it. No wear around flipper or start buttons, legit HUO. After I replaced the rubbers and gave it a waxing it was like playing a new pin.
The pin you linked looks like my first TSPP. Originally bought it shopped from Got Pinball for $4,500 in 2017. It played ok but looked and felt kind of crusty for my taste so I sent it to HEP.
I would hold out for better deal on this one.