Für 1000€ würd ich glatt
den hier empfehlen - allerdings sind die beiden ersten Shops irgendwie nicht vertrauenserweckend... (obwohl ich auch mal was bei Avitos bestellt hab und ganz zufrieden war)
Ansonsten sollte er sich für den Preis nach einem Gerät mit Athlon XP mobile umsehen - die sind auch leise im Desktopbetrieb, haben aber nur ~60% der Akkuleistung eines gleichschnellen Pentium-M/Centrino...