I have a XPS13 9300, looking to connect just one external 4K display using a USB-C to HDMI connector. I have read @jphughan post in this forum that DisplayLink technology is not great for demanding graphics so question is what is a good usb-c to hdmi connector that directly does not need Displaylink?