I'm probably behind the times, but I saw some spam on the Yahoo TVRO mailing list about this Coolsat 8000HD receiver. Claims to supports MPEG2 and MPEG4,
HDMI output, terrestrial ATSC reception. There's 3 or 4 of them on Ebay starting at about $400-$500.
I'm a little suspicious that it might be a standard FTA receiver grafted onto an ATSC receiver with no satellite
HD reception.
Anybody have one on the way to review?