“Is the HDMI port on the Acer laptop micro or mini. I want to add a cable to our Samsung 6200 TV for large stream viewing of Starz, DisneyPlus, and Amazon prime .”