Auch Notebooksbilliger.de hat einen Gebrauchtware-Bereich.
http://www.notebooksbilliger.de/gebrauchtware/notebooks+gebrauchtware
Diese hier zum Beispiel sind für 200,- schon nicht so schlecht, denke ich, gut ausgestattet und immerhin 1280x800, bzw. sogar 1440x900 Auflösung. :
http://www.notebooksbilliger.de/gebrauchtware/notebooks+gebrauchtware/fsc+lifebook+c1410+gebrauchtes+notebook+core2+duo+2x+1+80
http://www.notebooksbilliger.de/gebrauchtware/notebooks+gebrauchtware/fsc+esprimo+d9500+gebrauchtes+notebook+core2+duo+2x+2+20ghz+
Interessant wird das bei NBB aber vor allem in Kombination mit ihrem Deal-des-Tages (jeden Tag eine andere Ware zum Tages-Sonderpreis), wo ungefähr 2x die Woche ein gebrauchtes Thinkpad T60 / T61, Latitude soundso, oder ähnliches angeboten wird.
Dann kostet ein T61 statt so um und bei 260€ nur noch 200€.
Bei all den Notebooks gibt es das Problem, dass falls dein Kollege auf Akkubetrieb angewiesen ist, die Akkus meist nichts dolles bis zu gar nichts mehr hergeben, und dann ein Erstzakku fällig wäre. Das müsstest Du dann von den 200,- sozusagen abziehen.
Bei www.nbwn.de habe ich ab und an mal günstige Ersatzakkus (~35€) von Drittherstellern (für Thinkpads) gesehen. Sehe gerade dass sie auch für das R51 einen Akku dahaben, 32,-€
http://www.nbwn.de/products/8365/notebook-zubehoer/akku-netzteil/akku-lenovo-ibm/replacement-akku-fuer-ibm-lenovo.html
Die beiden von Dir verlinkten Notebooks da - sie haben halt nur XGA-Auflösung (1024x768) - wenn das reicht - gut.
beim R51 kaufst Du den Port-Replikator mit - ohne wird's vielleicht noch mal billiger, wenn der eh nicht gebraucht werden sollte. Nachfragen schadet nicht. :D
------------------------
Grundsätzlich ist der Kauf von privat (ebay etc.) günstiger (sollte er jedenfalls sein), die Notebooks sind dann eben nicht generalüberholt, gibt keine Gewährleistung, aber sie sind eben im Preis deutlich niedriger.
Viel glück dabei.