To answer the question, no, there is no way to record digital DirecTV HDTV.
Some members have the Dish 5000 w/HD Modulator that is set up for ExpressVu, a Canadian DBS company. When EVU has HDNet programming from DirecTV, it can be recorded that way. Unfortunately, this has been problematic due to a non-standard HDTV signal that EVU uses for the HDNet re-transmission.
There are also the W-VHS units from JVC. They record the analog HDTV signal and analog l/r stereo audio.
For more info, see recent topics here in HDTV Recording.
'Better Living Through Modern, Expensive, Electronic Devices'