Dass du das unterscheiden kannst, ist mir schon klar.
Bei vielen Benchmarks steht aber oft nur die blanke Bezeichnung und das könnte einen dann schon auf einen Irrweg führen, nech? (Wie du immer so schön zu sagen pflegst.)
Übrigens würde ich mir persönlich die Frage anders stellen: Billig (E5400) oder gut (E8400/8500)? Der E7400 hat den Beigeschmack von "liegt eben genau am Preislimit".
Sucht dein Kollege nur eine Ersatz-CPU für sein vorhandenes S775-Board oder wird das ein neues System?
Bei 100€ wäre AMD eine echte Alternative.