So, our “TimeClock” server (of all servers!) became 5 minutes out of sync. I used a 3rd party time server, NTP Pool Project to solve the problem. Here’s how: