FYI: This micro-HDMI to HDMI cable works fine ($3)