Very interesting thread! I am new to the hobby and in the process of learning as much as I can about TSPP. I am strongly considering a purchase of one in the near future as my first pin.
I was recently tantalized by an eBay listing for TSPP -- a shade under $6K, reportedly stock and HUO, but with 25K plays and a decent amount of wear (no extra photos could be furnished). It was a bit out of my budget, alas. Now as I am learning more about TSPP and the hobby in general, maybe missing out on that listing wasn't such a bad thing. Seems like $6K can net one well-preserved, relatively low play HUO TSPP with some mods in the Pinside marketplace.