Let me know how you get on with this.... I've been trying to find the time to get this going on my D11 box. For the short-term, I've just been using the Autotune option on the DirecTV receiver.
HD PVR: nPVR 2.6.2 with NEWA Std Skin
Intel LGA 1155 H67/i5-2400 SB 3.1GHz with HDMI-out, 8GB PC3-10666, Win7 Ultimate x64, Hauppauge Colossus, 1x1TB SATA, DirecTV HD22, dtvTune.exe Ethernet channel changer
RaspBMC Client: RaspBMC rpi-3.6.11 kernel (based on Frodo 12.2) Std Skin
Raspberry Pi B, MPEG-2 & VC-1 licenses, 8GB class 6 SD, AdaFruit USB WiFi, Flirc USB receiver