since discovered we got Time Servers running W32time which should be keeping everything together. No need for the old SETTIME then! cheers..