Ich würde eher zu einem Lenovo Thinkpad T510 tendieren, auch wenn dieser ca. 250 € kosten würde.
Alternativ noch das Vorgängermodell T500, aber dieser ist nicht wesentlich günstiger auf ebay. Auf diesem läuft auch Windows 10 noch ganz gut. Nur der Fingerabdruckscanner funktioniert nicht (zumindest konnte ich bis jetzt keine funktionierenden Treiber finden)