Io ti consiglio un Santech x47, invece, con P8600, Ati 4650, hard disk da 320 GB (se stai nel budget @7200rpm, altrimenti @5400rpm) e 4 GB di Ram.
La Ati 4650 dovrebbe essere al pari della GT130M, ma rende di più
Poi mi sembra strano che ti trovi male con lo schermo del santech...probabilmente era solo quel modello lì. L'x47 è ottimo.
Altrimenti tra quelli da te elencati il 2° ha il miglior rapporto qualità/prezzo... oltre che una risoluzione adeguata rispetto agli altri. E' inutile aver un full hd su un 15", 16" o 17" (anche fino a 20"), visto che si sforza inutilmente la scheda video ed è anche dannoso per la vista.
La cosa migliore in ogni caso sarebbe prendere un fisso..visto che i portatili non sono mai una buona scelta per il gaming...poi visto che lo sposti poco... tieni il notebook che hai per quando ti sposti e prendi un buon fisso