After installing the Daylight Savings Time patch for some F5....
Had some issues with the clocks being off an hour on two BigIP 520 units, F5 has a complex solution of booting into single user mode (these are based on BSD) to change the clock. I found what worked without booting into single user mode was changing the time zone to GMT then setting it back. I did this while the unit I was working on was in standby. Also another F5 tech note said to look at the redundant properties screen and to disable the gateway failsafe (that was not enabled for me anyway.)
"ntpdc" - this is the interactive mode
then "peers" - shows clocks of the time servers you configured.