Just about to order my Mini and display and wanted to make sure I have the best cables to best connect the monitor. The display I'm getting has HDMI and VGA options, I know that some folks have had issues with HDMI in the past but it sounds like that's been solved with recent updates? Any recommendations/personal experience/etc. on going HDMI out vs Mini DisplayPort to VGA? Thanks.