USBC to HDMI Cable vs a Dongle: Which to Buy