ok - completed.

The only unexpected thing was upon restart. It did not boot up normally. Instead it gave a bios type warning message:

- Time of day not set - please run SETUP program

- Invalid configuration information - Please run SETUP program

So - I ran bios setup and managed to get to the place to change the time, applied the change, then it booted normally (typing from there now).

Not at all difficult, finishing in perhaps 15 minutes including the bios deal...