“Since this HP has the Thunderbolt & USB 3.2 connections, would it work with a Dell docking station which has the same connections?”