Я думаю купить display port to hdmi кабель, как, например, этот (http://www.amazon.com/Cable-Matters%C2%AE-Gold-Plated-DisplayPort/dp/B004C9P9TM/) и пользоваться встроенной графикой соответственно. По-моему, это не дороже и не сложнее, чем hdmi кабель.

Карту я пока думаю оставить, если будет сильно шуметь, то вытащу. Когда дело дойдет до 4К, думаю купить другую карту.

Как этот план выглядит?