If I were to buy a used HD Receiver like the HR20, HR21, HR22, or HR23, will it work with my DirecTV service? I know I'll probably have to pay more but I'd like to know if I can buy one off of Craigslist and not have any problems. Thanks so much again for everyone's help.