I have been having issue with Windows 7 not updating using internet time servers when I would like. Just to verify this is the method of choice?:
Modify decimal value (seconds) of "SpecialPollInterval" in
HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\W32Time\TimeProviders\NtpClient
Modify decimal value (seconds) of "SpecialPollInterval" in
HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\W32Time\TimeProviders\NtpClient