Ich würde eher zu dem von mir vorgeschlagenen greifen.
Zudem wären die 15€ Aufpreis für einen 2500K gut angelegt, da sich dieser sehr einfach (EFI Bios, K-Modell, 32nm Fertigung) und sicher in Verbindung mit dem angegeben P67 Mobo übertakten lässt.
Ein geeigneter CPU-Kühler wie z.b.
http://gh.de/a486335.html für ~32€ wird vorausgesetzt, wobei man überprüfen müsste ob dieser in das Gehäuse passt.