Maybe I'm missing the point here but if the time is set by the GPS and it doesn't change when the clocks get moved, can it be relied on to always be accurate?
I would expect any clock that was set by GPS, RDS or Radio Controlled, to be accurate, even if you change it manually by a few minutes it should change back to the correct time next time it syncs or whatever its called. Or is that to simplistic?