A usb tv tuner for your notebook sounds like the go then, to use the output from your receiver ... A Tv tuner PC card is just a card that goes inside your pc - you can use one of them or a usb one.
Your satellite receiver will probably provide analog output on a certain channel like 0 or 28, so just tune your USB card to that channel, using the software that will come with it.
