I've seen OTA issue "fixed" by a reboot, only to appear a day later. Color me skeptical until I have a week of OTA use under my belt before OTA recordings are scheduled. Plus, it seems the 4K Joey stresses the OTA reception issue more that just watching/recording to the Hopper 3 does, so I'll test it when it shows up.
Of course, the huge irony is the one channel I used the most, the local Doppler Radar / Storm Chaser feed, has been eliminated when our local Fox affiliate decided to get out of the broadcast business and the CBS affiliate (now owned by Sinclair, can't wait for the next round of "negotiations"...) put both CBS 1080/60i and FOX 720/60p streams on the WSBT broadcast channel. Anyway, like I said, I'll test and let you know...