So we noticed yesterday that one of our boxes had the right time, the others had not switched from summer time.
Having searched all through the settings (and engineering settings) I could not find anything to actually set the time.
So we left them overnight again, to see if it fixed itself.
It didnt, so we went to plan B (Google !) and found this.
https://metro.co.uk/2021/11/01/sky-b...nged-15521143/
It seems Sky have made a blunder (aka "Technical issue") and we are stuck with this for the next few days.