Since then lots of things have gone pear-shaped. Then two weeks ago the machine told me it was updating. When the 10 upgrade happened, the printing improved. Following advice from another forum, I installed the 7 driver and managed to get it to print, but not very well.
On a separate issue but still related to drivers, I had a problem connecting the Windows 8.1 laptop to my printer and found that drivers existed only up to Win 7. As a lot of such procedures have been changed in Win 10, I wonder whether I will be able to find the port again.
I do remember that I had to go through a procedure for locating the port that the device was located on and remember that it depended on which USB socket it was in. I also have one of these GPS 'mice' and it worked perfectly on Win 8.but I have not tried it on 10 yet. I was caught by the reference to drivers and Windows 10.
