Yeah that must have been it, those input device drivers often have generic names. I just tested unplugging/re-plugging mine in with an eye on device manager. There were two HID compliant mouse entries under “Mice and other pointing devices” and sure enough one disappeared and reappeared.
