If your receiver has a composite output (yellow RCA jack), most video encoders will do. For something cheap, lookup a USB frame grabber or Pinnacle Dazzle (~$25-50) to convert the analog signal to digital, or for something more along the prosumer lines, try a BlackMagic Intensity Shuttle...