After a succession of sub £3 watches from eBay, that may have provided a change but without longevity, I decided to get a new battery for the Casio Waveceptor.
Okay, the Chinese could have provided me, postage included, with three watches for the price of a battery, and without a doubt they would have been easier to set the time!
Even with the user manual he managed to set the date, but not the time. I keep the manual handy as changing the time from UK to CET is a major operation when on holiday! Even harder coming back!
The watch needs setting up to get the time automatically from the atomic clock in Nottingham. Or Frankfurt in Europe.
Some four and a half hours later (!) I managed it!