Vendo el procesador que tenía en el PC. Finalmente he puesto otro más sencillo (no le saco partido), un i3 además de 4 cosillas y me quedo con el PC.
NUNCA LE HE HECHO OVERCLOCKING

Es un i7 2700 K 3.5 GHz, socket 1155
200€ --- 175€ G.E incluidos

No sé qué precios se manejan en esto de la informática, si a alguien le interesa de verdad lo hablamos.