After installing PulseAudio 1:13.99.1-1ubuntu3.7, HP TBT dock now have two different audio card names "USB Audio Speakerphone" and "USB Audio Headset".
After installing PulseAudio 1:13.99. 1-1ubuntu3. 7, HP TBT dock now have two different audio card names "USB Audio Speakerphone" and "USB Audio Headset".