After many great ears of service, my trusty 722k with installed add-on OTA module finally failed. Dish brought out a new 722k that came with the internal OTA module in place.
All was well until I tried to record two OTA programs at the same time (as I was able to do with my previous 722k), and...