I decided to play with the HDMI out so went looking for a cable or connector. Most big box retailers are pretty clueless about mini HDMI. I found a 10 ft cable at Frys (western USA electronics chain) for $15 and bought it as I was in a hurry. It works pretty well and the video is of reasonably good quality on a 720p display.
What I really wanted was a mini HDMI to Female HDMI adaptor so I don't have to travel with another cable. I checked mono price and they have this one for $2.16:
For only $1.80 each when QTY 50+ purchased - Mini-HDMI (Type C) Male to HDMI (Type A) Female Adapter | Mini-HDMI (Type C) <--> HDMI (Type A)
They also have mini-HDMI to HDMI cables for about $5.
I have no affiliation with Monoprice except being a happy customer.