Can somebody tell me if the OTA tuner module is available for the 722 model? My locals are not avail in HD so Id need to pull them from the OTA. Dish is offering the 722 no mention of the 722k which I know the ota tuner is available. Im thinking of switching back to Dish fron DTV. Using the OTA for locals would the info show up on the guide?