Který z těchto NTB?

Zdravim.
Vím, že je zde ohledně NTB dotazů dosti, ale dostal jsem úkol vybrat nějaký notebook.
Takže zkrátka
Požadavky:
-cena kolem 12 000, max. 13 000 Kč
-preferuji matný displej
-numerická klávesnice velikou výhodou
-displej velikost 15,6"
-solidní výdrž na akumulátor
-solidní zpracování
-nejlépe s OS (Windows 7)

NTB bude používán na kancelářskou práci, filmy, prohlížení internetu. Hry žádné.

Moji 3 kandidáty jsou:
1) HP Probook 4530s u něj se mi líbí částečně hliníková konstrukce a brašna v ceně.
2) Lenovo ThinkPad Edge E520
3) Fujitsu Lifebook AH531
4) Popř. doporučte jiný

Druhý dotaz už bych měl jen doplňující, chtěl bych ho koupit v Alze nebo v Mironetu, který obchod spíše doporučíte?
Děkuji.