Yeah, DeX used some relatively obscure DisplayPort based implementation of Usb-C to HDMI, as long as you're using that (might be called slimport) it works. I'm getting away with using a $20 dongle.