I recently purchased a new rMBP 13", which has both a dedicated HDMI port and Thunderbolt ports. I previously owned a Macbook Air, which only had a Thunderbolt port. I have a Thunderbolt to HDMI cable that I used on my Air to hook up an external monitor. The big question is: On my new Macbook Pro, is there any benefit to using the dedicated HDMI port or should I continue using my Thunderbolt to HDMI cable? Also quick bonus: Does running a higher resolution (for more space) actually impact performance?