I have a new XPS 13 9310. I am not satisfied with the internal microphone. I'd like to attach an external mic, but the only option seems to be a mic/headset combo. I'm wondering if I have any options, such as whether there is a docking station with a microphone port.