Rich,
No they don't. These cost me $700 at the time of purchase (not through DTV.
I don't think it can be used with DTV as it's MPEG-2. But out of the DTV units incorporating OTA tuners that I have had, these displayed the best OTA picture. When I first got my DTV HRs I had the DTV come out with others as I thought I got a bad pair.
The person I sold that other one to is using it for OTA only, hence the common ~$45 price.