The Diamond 9000HD has an ATSC tuner, it works very well.
I agree... pretty much. The "very well" part has to be tempered slightly depending up on whether your 9000 has been hacked. Ie if it has that 131p pirate firmware, then there is a tendency for video to have little stutters every now and then. THe stutters are MUCH more noticeable when you are viewing high bitrate HD feeds, but they are even observable on low bitrate SD feeds, just fewer and further between. The problem is, that most Diamond 9000s you can buy now have had this firmware put on them, and it can't be sucessfully removed.
Having said that, the Diamond 9000 is the receiver that I use the most. I use it for almost ALL of my OTA viewing, and it is the receiver I use for most of my surfing on KU sats, as it controls my SG2100 motor/90 CM Fortec and also my Primestar dish feeds it. It is very convenient for recording OTA too, but it won't record high bitrate HD.
Great receiver. It's just too bad that the pirates messed up the firmware on the one I bought (even though the seller said that it had factory firmware on it).