I bought a TFTC in the last year for somewhere in between 3-5k. It was my second machine, first more modern with a DMD. I love the theme. It’s better to me then any new game theme and we probably will never see it again.
I watched the market for a long while before buying. They were rarely put up for sale. I reached out unsolicited to many Pinsiders with it in their collection, and none wanted to sell for same reason I wanted it.