I'm switching from a 17" MBP to the new 15" rMBP and am wondering what the best connection option is for my external monitor. Should I... 1. Use the old mini-Displayport connector which I believe is the same as Thunderbolt? What I have is actually an adapter that goes from mini-DP to DVI and this is what I have been using with my 17" MBP. 2. Switch to HDMI? My monitor has this input plus I have a spare cable as well. Any pluses/minuses to choosing one method over another in terms of system resources/what's more efficient for the laptop?