I was cleaning out my basement and found two SD TiVo directv boxes. I used these before Directv went to MPEG4 for HD. Do they still use MPEG2 for SD channels? Are these DVRs still useful on directv? If I sell them will the buyer need new access cards? They were owned and never leased.