Some advice for the seller. Understand, you are new and truly you are going to find (like I have) that this is all about "are you in the PINSIDE click or not". They don't attack each other and us "newbies" are fair game so don't let it bother you I sure don't.
As for you game. I bought a mint HUO TSPP for a little less then $4,500 but it was a package deal with a decent IJ (which another pinsider told me to get for him) and the guy after I got there threw in an HUO (really nice) Rocky and Bullwinkle for $1,350 and it is really nice. I did my research and a really nice HUO TSPP is approximately $4,500 (some get it a little cheaper some pay a little more). I know a pinsider who sold one last year for over $5K so you never know. Of course they would not call him out because he has been around for awhile.
If you price it around $4,500 it will most likely go. If you want over that try Mr. Pinball classifieds or Ebay or even Craigslist and you may get lucky for someone local.
What these guys don't get is NOT EVERYONE even knows of pinside and every machine I bought with the exception of one was from someone outside of Pinside (even though I did do two trades with pinsiders....there are a lot of nice people on here but just as many jerks in my opinion).
So hang in there. ALL PINSIDERS give pretty good advice but some don't use the best delivery technique.....and none like any NEWBIE thinking they know more then they do because that is impossible so always keep that in mind. Pinball is "rocket science" so learning proper pricing has to take many, many years and us NEWBIES can't pick that up in months so keep that in mind at all times.....good luck to you !!!