I have the XPS 12 Ultrabook. I would like to get a cable to run from the laptop to my TV's HDMI port. Should I go with USB 3.0 to HDMI or use the other port on the laptop, which I'm not sure what it is, the manual just calls it video port. Is it a DVI?

Thanks