pps
To cure the local time problem, per Mint forum
sudo apt-get install gnome-time-admin, then
System Tools>Time>Zone>America/New_York, in my case.