Cunning plan - but how, without a mouse pointer, do I point at the mouse, in device manager, to uninstall the mouse? I don't think I've got a disk called mouse drivers, nor indeed ever seen one. Time for a google.