I noticed a couple 811 receivers on Ebay that still have almost a year's worth of Top60 and HD package on them. Now, can this guy legally sell these? If they still have almost a year of programming then obviously the previous owner didn't want to break some kind of contract, correct? If so, how...