If it ain't broke don't fix it....but ..what, with all this this extra stuff on the red button, I thought I'd re-tune all the channels. Did factory re-set, then tried to re-tune. Invalid postcode. No channels. Nothing. I've tried lots of 'fixes'. Nothing seems to work. Unlikely to be a hardware problem, as everything was working perfectly one minute. Any ideas?