If the Arduino IDE doesn't see it either I would suspect a bad Pro Micro , ( bad bootloader) since the other one is seen just fine on the system I don't think it is a Driver /Port issue....

With the Pro , I also read on the Arduino website you can hold the reset but then use the IDE to reburn the Firmware / bootloader , then you can hopefully burn the MMjoy firmware afterwards.

see the very bottom paragraph on this page about uploading code .....( you should be able to do the other tests on this page too)

https://www.arduino.cc/en/Guide/ArduinoLeonardoMicro

If you have a spare Uno or Leonardo you can also reburn the bad bootloader using the second good one..... you could use the one in the button box but you'd need to wipe the MMjoy firmware 1st and then reload it , or borrow/buy a 2nd good (genuine) board like an Uno or Leonardo locally. its not that hard , the 2nd part of this video shows how. ( the 1st part only applies if you have a cheap ($3-5) Uno Clone that needs a different Driver.)

https://www.youtube.com/watch?v=HHF45zhe_9U


My FLCS+TQS Conversion here on SimHQ

http://simhq.com/forum/ubbthreads.php/topics/4324940/1