This thing could be easily handled by having one or two machines that gets their time from the official US time servers, and having any other machines sync up to them using the built-in windows time service. People are making a bigger deal out of this than it really is.
As 9c1 mentions, DCs are supposed to do this already.