I bought the new Retina MacBook Pro, which has an HDMI out and two Thunderbolt ports. I have an external display that I've been using that has a DVI input. Should I get the Thunderbolt/mini DisplayPort to DVI adapter or an HDMI to DVI adapter? Presumably, an HDMI adapter would be cheaper, because I wouldn't have to buy the Apple one. Is there a reason to go for mini DisplayPort instead? I remember reading that DVI and HDMI are the same as far as video quality is concerned. Any other pointers or recommendations in this area are also appreciated. I guess one consideration could be that they are on opposite sides of the computer so I could pick the one that is on the side I plan to put the monitor.
And yes, I do know that my old display will look like crap next to the retina display.