Greetings, I looked up some information regarding HDMI. The new notebook has an HDMI port, I wondered if anyone here has any experience using such a port. Best, dp