I have read that the HDMI port is proprietary with a special adapter, a la Apple. But, saw close up in video and it appeared to be a microHDMI. It wasn't the best angle, but it had the right shape. Any ideas? I haven't found a good picture and specs are not listing microHDMI. They list it as "proprietary HD digital AV adapter". Or something to that effect.