I noticed that dntpd.conf has a default setting of 'pool.ntp.org' 3 times. The "How do I setup to use the pool" page at pool.ntp.org (http://www.pool.ntp.org/use.html) says to use: server 0.pool.ntp.org server 1.pool.ntp.org server 2.pool.ntp.org Any objection to my changing that?