Der 2500K reicht aus; klar, aktuelle CPUs sind schneller, aber ein Neukauf lohnt sich mMn nicht (auch nicht für PCIe 3.0). Da du einen geeigneten Kühler für OC hast, würde ich der CPU etwas die Sporen geben, wenn die gewünschte Leistung einmal doch nicht vorhanden sein sollte. ~4,2-4,5 GHz sind bei Sandy i.d.R. recht leicht zu erreichen und auch noch gut zu kühlen (Lot sei Dank).