We are making progress...
OK.
I ran the timezoneadj.tcl and adjusted the timezone to 7 (it reported that it was 8 and adjusted to 7).
Now all looks splendid.
When the system reboots the timezoneold reverts to 8. Now, as I alluded to in the original post (way up there...), I changed (probably) this timezoneold to 8 at some point, but I cannot remember in which file. Can you point me to this file (alternatively, how do I change this parameter permanently).
Thanks
Gideon.
At last all is working !!!
I found the file...
rc.sysinit.tivohack sets the timezone. Apparently it is run on every boot.
It is towards the end of the file, and I stumbled upon it when playing with the dial prefix. I then changed it to 8 in the thought that it was some sort of offset, and that I would figure out the correct offset to get the time correctly to Israel. I later forgot which file it was...
I changed the value back to 7 (GMT).
So, now I have the time set to local time, and hopefully, (and this was only possible with your masterful help for which I am grateful), it will keep so even during local daylight savings changes.
Thanks so much again,
Gideon