It’s fixed now. It was a 10p sensor embedded in a £65 piece of plastic. The error message had me barking up the wrong tree. It’s fixed now, at least.
I dislike being wasteful. When my last TV died, while I replaced it, I then fixed it, and gave it to a friend. £10 backlight, and an hour or so of effort.