> I suspect the NTP server had a badly faulty internal clock which ran very fast.
A time server with a defective clock seems to be a serious problem. Zimmie says the time server was an appliance; so someone is selling as an appliance a time server that can't tell the time.