Thanks BlueLoo. I understand that it's 2022, but while the 4033 was working there was no need to upgrade. And while I would be happy for more functionality, even now I would prefer something that doesn't connect to the Internet. (So perhaps 2002, rather than 2022.)
Ericmark, thanks very much...