Just a quick update. Talk about coincidence. My kids were at a birthday party yesterday and my 12 yr old mentioned that while he was watching the Dublin football game during the party he switched between channels and noticed that the remote control he was using was the very same as the one we used to have for the TV in question. So I rang the owner today and asked if I could borrow it for half an hour. Got all sorted out and channels retuned. Thank God for observant kids. Thanks to all posters for their help also.