I understand that the x51 has a discrete Graphics card with DVI and miniHDMI outputs. The system also has a HDMI output on the top that is connected to the on board intel graphics card. I have both an hdmi cord and a DVi. Would I benifit one way or the other by using the intel or nvidia card for output. Would I suffer performance wise If i chose to use HDMI over the mini hdmi?