Seems to be correct. Yesterday I upgraded from a VIP722K to a Hopper3 and one Joey4K and only get partial guide population on a few out of 24 scanned and for only an hour or two. I installed an AirTV dual dongle. According to one vendor who says he has sold 1,000's of these dongles, he said AirTV will not work, was surprised when I told him it did. Also said he has the newest DISH model, like 1 month old which is bigger, doesn't have heat issues. P/N 213502 DishDepot, a very caring employee, asked me to drop him a note later to see how things are working (or not working) out.
I asked about getting the DISH subscribed locals back for a spell, populate the guide, drop the DISH locals and see if the OTA dongle would keep the programming going on. Might be worth a try. Will update......