Not too long ago, I was offered a TFLE through a distributor for less than $5k. I have seen two listed for $4500 online, and heard of another one that was sold for $4300.
The Pro on the other hand I have not seen take much of a hit at all. In fact, the same distributor that offered me the TFLE for less than $5k offered me a Pro for just a couple hundred less.
From what I understand, TF Pro does pretty well on route and a lot of the issues with things getting stuck and whatnot that people have with the LE aren't there, which has actually kept the Pro in high demand. It seems like they also didn't make very many Pros, so that is keeping that price up at least for now.
Will the market for TF recover? Personally, I doubt it. There are some people that do really like this machine, but the issue is that the initial sales go to the biggest fans of the theme and speculators. If the speculators are cutting their losses now, they don't think that the price will rebound any time soon. And, if the biggest fans are dumping the game, then there is another huge issue.
Having said that, the price drop really isn't horribly drastic. Compared to what a "normal" arcade game loses out of the box when someone buys it to stick it on route or whatever, that's a pretty normal hit. It's unrealistic expectations about how NIB pinball machines should always increase that have people as jaded as they are on it.