I've been using my local DNS server to redirect systems on my local network to the local NTP server when they request commonly used NTP servers. The current list:
time.android.com
time.apple.com
time.asia.apple.com
time.euro.apple.com
time.aws.com
sntp.brother.com
time.cloudflare.com
*.ntp-fireos.com
time.google.com
time1.google.com
time2.google.com
time3.google.com
time4.google.com
time.windows.com
pool.ntp.org
*.pool.ntp.org
Any fairly common ones I've missed?
(This post brought to you by nobody ever really implementing DHCP option 42.)
