Hm - von den Daten her dürfte das ein Willamette sein.
http://dev.woody4u.de/thn/index.php?view=detail&id=326
Ich hab den mit 1,9GHz.
Für einen Server ist das ja fast schon zu viel - aber andererseits kann man nie genug Power haben. Könntest ihn dann ja untertakten.
Vielleicht ist deinem Kollegen deine Mühe ja was wert...
Also falls du die Teile fürn Hunderter kriegst, hast du schon ein gutes Geschäft gemacht.