Other TVs in the house were getting a very noisy picture, whether due to too strong a signal or too weak I'm not sure.
It also turns out that accessing the setup menu has changed now. It's Services, then 0 0 1 and select.
I changed to the default (Ch68 and powered on). Still not a great picture on other TVs, but better than it was