I'm about to buy a 2012 mini and have been reading about the hdmi issues some people have. Has anyone connected their hdtv to the mini using the thunderbolt port? I would think you could connect the hdtv with a minidisplayport to hdmi adapter. Has anyone tried this and seen a difference?