Buenas, a mi juicio es suficiente el ventilador de fábrica/stock, siempre que no tengas planeado hacer un poco de OC (por ejemplo subir 100 o 150 Mhz). Si deseas una mejor refrigeración, sobre todo en verano, te sugiero un Cooler Master Hyper TX3 EVO (18/20€), mejorará la temperatura de manera notable respecto al ventilador de referencia y tambien se podrá hacer overcloking con garantías, aunque imagino que el margen será pequeño al no estar desbloqueado (K).
Un saludo