OK. Went to perform a printer firmware upgrade, plugged in the printer via the USB cable, and got the error message "One of the USB devices attached to your computer has malfunctioned, and Windows does not recognize it". Plugged the same printer into a Windows 8.1 machine, same error. The USB port seems to be cactus.