Re: gps time server problems ?