Ruined beat me to it. If the PCI has DVI outputs, I would also recommend buying an HDMI-to-DVI converter for the sat receiver and connect both the receiver and PC to a DVI switch from monoprice (which is also a good source for the converter). With a quick search:
http://www.monoprice.com/products/pr...t=1#largeimage