The clock battery in my 4000T has worn out again so while I wait for its replacement to arrive I've been using Miami's "get time" feature to set the system time when going online (which happens on bootup). Miami's help docs say that it automatically sets the timezone based on the Locale settings, but that doesn't seem to be the case (perhaps the protocol on time.nist.gov has changed over the years). Instead I'm getting time 10 hours ahead. Wondering if there's another ENV variable I can set so that it will pull the correct time from the time server. Alternatively, can you suggest another time server I can try?
I know there are shell tools that will set the system time that will probably work, but I'd like to not have to set up additional scripts if possible

Thanks!