In a 2000 domain, how do all the domain controllers keep accurate time for replication? Is there a server you set up as a timing server where the other DCs check to set their same?