Apparently a DC in my office has the wrong time in bios, and since it is a PDC, it uses this time by default.

So how do we change this to use something like, oh NTP?

NTP is Network Time Protocol, a standard with a real following :)

http://www.pool.ntp.org/en/ is a good place to start looking for the time servers you might like to use, as well as some simple information on how to set times for both Linux and Windows servers.  One drawback is that there is a change for Windows servers since 2003.  Net Time /... is no longer used, instead there is a windows service managed by w32tm.

MS Link here: http://technet.microsoft.com/en-us/library/cc784553(WS.10).aspx

And the good stuff...

For US users, you can use the following commands to make the changes:

w32tm /config /manualpeerlist:0.us.pool.ntp.org,1.us.pool.ntp.org,2.us.pool.ntp.org,3.us.pool.ntp.org /syncfromflags:MANUAL
w32tm /config /update

A few seconds later, my time is correct, and then the time on all the machines in my domain are also correct. 

Hope this helps save you some time.