Dish has been saying that OTA should be available in the future for the hopper. Any idea if it will require a separate OTA module like the 722k does? And if so, what are the chances that it will take the same module? If that's a possibility shouldn't I be allowed to take the module out of the 722k before I send the receiver back to Dish? Especially since I bought the module out right. The only thing I'm worried about is I don't think I kept the blank plate I took out to insert the module. Any idea if Dish would have a problem receiving a 722k back without a module or plate?