Thanks! It looks like a need a male mini HDMI... (type C)
Yeah it looks like you're right... though I've already ordered a mini HDMI cable........That picture doesn't look like a mini HDMI to me, but a regular sized one: slightly larger than the USB port next to it.