The mods to the systend config file are now working, with one caviat: to get the time set, I must have the phone to be used, with its own timeserver or internet access, set up as tethering host BEFORE booting the pi. The pi makes one attempt at boot to get the time.