They said there’s an HDMI port but it’s not there