Hi,
With the laptop plugged into the docking station,
go to the Device manager and on the Menu Bar select View
Then select Devices by Connection.
Depending on your system Find the entry for the PCI bus under the APCI compliant system (usually the fist entry)
Find the USB Enhanced Host Controller and look under each USB Root Hub until you find the USB to Serial Port.
The number should be listed.