I have a docked notebook, and I can tell you that for my dockingstation WMI does not detect a second keyboard, but that is most likely because HP uses a port replicator so windows does not know there is a second keyboard. It will detect a second one if it is connected trough USB, but you don't need a docking station to test that \:\)