Can anyone that has received their goggles already tell me what type and length of HDMI cable is included? I read the specs and the goggles are supposed to have an HDMI Micro (Type D) port. My specific question is what is the other end of the HDMI cable - micro, mini, or standard? Also what is the length of that cable? Thanks.