Changing the port number doesn't help, the setting automatically reverts to 465.
Thank you yet again, but please, it's not worth pursuing this any further. One day I might try deleting and recreating the account to see if that fixes it. Failing that, I'll try another client, perhaps k-9 mail, which I've discovered has become Thunderbird Mobile.
