dell laptop sound not working when docked

The problem does not repro using the USB 30 port directly on the laptop so it seems specific to the docking station or the act of…