I use Linux and not Windows and I can certainly choose the appropriate serial port from the Tools/Port menu. But it only lists the serial ports that exist.
It sounds like you need to check what your DeviceManager is doing when you plug in an Arduino board.
Hopefully a Windows expert will come along.
...R