Køb af ny bærbar HP eller Dell

Jeg skal have ny bærbar til omkring kr 10.000.
Jeg har kig på HP eller måske Dell. Skal være 17" og 4 GB ram og godt grafikkort, da jeg spiller lidt.
Jeg har kig på HP DV7-3060 8499,00 http://h10010.www1.hp.com/wwpc/dk/da/ho/WF06b/321957-321957-3329744-64354-64354-4011368-4036244.html
eller HP DV7-2126 9499,00 http://h10010.www1.hp.com/wwpc/dk/da/ho/WF06b/321957-321957-3329744-64354-64354-3945156-4000392.html
Som jeg ser det er 2126 proc bedre, da det er Intel med 3MB L2 cache.
Men har hørt lidt om at HP bliver meget varme, men har før haft Dell som havde dårlige strømforsyninger, så det er vel umiligt at undgå mulige fejl helt.
Vil ikke have Acer, og det skal være et større anderkendt mærke, da mit firma betaler.
Hvad kan i foreslå??