One of my Dell's would randomly decide that the mini DP connection has no signal, and rebooting the MacBook Pro was the only way to restore it. HDMI would work just fine.