We have 90 servers on a domain, all have different times. Is there a program or tool I could place on the replicator server/ primary that will send out/synchronise the whole of the domain servers to the same time every few minutes/ hours?