PS - A work-around is to set it up under 'Time and Date", 'Advanced' and set up under Customised.

Thanks - I've used Advanced to set the same values as Default (ensuring that October change happens at 0200) and that seems to work. I wonder what Default thinks it is?

I've raised this with support.