I've got a tc1000 with the DVB-s2 tuner, it receives as good or better than the 9200 on the satellite tuners and has a much better OTA receiver.
The TC-1000 has a fan installed from the factory and the overall size of the unit is much smaller, it still will lock up on occasion but no more...