Richard,
Thanks for you continuing help. I plug the mouse back into the same USB port and then the system recognises it. The computer has two USB ports and the problem is the same on either port. I don't have a second USB mouse at the moment, so I cannot try a different mouse right now.
to be continued ...
7 7 7 7