I installed the PA packages from the multimedia:libs. My thinkpad speakers are now working regardless of which plug I pull first. So that is fixed. But there is still sound coming from the docking station when I plugin my headphones. Maybe I misunderstood you. Should I try *all* packages of the said repository, or just the pulseaudio-* packages?