Steve,
Why not set the users times based on the time zones and not just GMT-<number hours>, this way the user times would change for DST. I would think that this would be easy to setup and you wouldn't have to worry about it anymore, let NTP keep the time in sync.