I paid 3.2K for an HUO one recently. A little high but its in immaculate condition. Just a great game all around. A little repetitive but the humor and uniqueness of it definitely keeps me coming back and I dont regret buying it at all. Its been a huge hit for the family as well. 3D pinball! Ive never owned a TFTC but put a bit of time on it a few times. Fun game but not one I would go out of my way to have in the collection. RFM is a keeper in my collection. Also great I can swap out the PF and have SWE1 and have another pin for a while. Total cost for me with HUO RFM and HUO SWE1 PF was 4.2K and Im really digging them. RFM has been creeping up in price and I honestly haven seen many go for less than 2.8K lately. Same could be said for TFTC though. 2.5 is still high for it. They can be had for sub 2K. Best of luck to you! Its a tough life when you have to choose between which pinball you want to buy!