Does a dell xps 15 work with a dell d3100 docking station