Eher gab's ;) Hat sich dann mit einem BIOS-Update beheben lassen, siehe hier.
Ich schwanke derzeit auch zwischen einem GA UD3H und einem MSI GD55, preislich nehmen die sich ja nichts und mir reicht eigentlich die Ausstattung des GD55...hmm, mal sehn, was es letzten Endes wird.