For a 24" LCD display with 1920x1200 resolution which Mini video out port is going to work best. I know the HDMI port supports that resolution and the Mini-Display Port supports a higher resolution. I am just wondering if there is a technical benefit to using one over the other in this situation?