Beautiful, sought-after game! I sincerely hope you find your buyer soon.
Still, FWIW, I bought a beautiful example of TWDLE one year ago with c. 600 plays and the topper for $7.2K. I put about fifty plays on it, then got spooked that I had too much coin tied up in a pinball and promptly sold it to a local collector for $7.2K. I resolved to find a Premium instead, and that has kept me tuned in to the market for the last year. It seems to me that a HUO LE in stock trim with topper has fetched, on average, between $7.2K and $7.5K. Suggesting that "pinflation" or tax brackets has pushed the value of this particular example to $9.5K seems misguided. And, really, pinflation is offset by simple time-related devaluation. This title is now four years old, etc. Obviously, pins fetch what the market will bear. For all I know, there is just the right eager collector hunting for a TWDLE in your region right now and he will pony up the premium price to have your game. If he's *not* there - or anywhere - you'll be waiting a while at that price. FWIW.