Is the video out port on the Surface 2 (non Pro) a Mini DisplayPort? I ask because the MS website indicates the surface 2 has a "HD video out port" and the Pro has a "Mini DisplayPort", so I'm not sure what the difference is (if any). Also, if the non-Pro actually has a Mini DisplayPort, then...