Ich glaub zu beachten ist, dass der E6300 & der E5400 noch Pentium 4 sind wenn ich mich recht entsinne.
Persönlich würde ich versuchen, deinem Kollegen versuchen einen E7xxx anzudrehn
Edit: Bitte das mit den Pentium 4 mit vorsicht genießen, ich google gerade herum und irgendwie herrscht da ziemliches wirr warr