Question Author
Folks, I have found the answer. There IS a menu button on the remote but it says "LCD Menu". This normally is used for setting brightness, contrast etc etc. On its own, it does not retune. But if you hit this button and then 8888, presto!!! It retunes. I must have done this when I bought the tv but that was some goodly time ago. And I have never come across any other brand of tv that tunes in this way. In view of all the suggestions posted, I felt I should let y'all know. And thank you again.