None. Today's TV Tuner cards will not work natively with satellite signals. The best set up you could probably get would be using a Hauppaiuge Colossus capture card in conjunction with your satellite set top box.
There is a confederation of folks over the last 18-24 months who are developing a universal (read: DRM) standard for OTA ATSC, cable QAM, Internet TV, and whatever the satellite freq modulation is called.
Not sure where DTV fits into this -- but I'm sure they do. Would there be a PCMCIA card slot in the back of your receiver? It may take a *smart card* from DTV that allows advanced functions, but Shirley it is highly proprietary to their stuff only ...
OTA ASTC - The Last Frontier
(probably not for long)