Pues depende de la caja que tengas y el calor que haya dentro, yo de tí me compraría el 2000, 20€ no es mucho, pero son 166 Mhz más (o 200, no me lo sé exacto)
Y si la temperatura es "alta" (acercándose a 50º) intentaría coger tb los ventiladores de caja, por 3 € o menos los tienes en cualquier tienda de electrónica decente.