I expected the computer to get this wrong.
I didn't expect time.windows.com to be wrong as well.
Curiously, fixing the hour and hitting 'Update Now' did not revert to the wrong time, so maybe it is just the computer.
For what it's worth, the Mac 'Just Worked'.
[Update: Rebooting the computer set it wrong again - genius!]