I don't think it necessarily matters which server you sync with.  I imagine the Windows servers would work just as well as the .gov servers.  The most important thing is just manually clicking that button and resyncing with any time server in the list.