STILL no full size HDMI port? Did they let Officer Mayonnaise spec the port on this one?