Certo che è meglio se va a 4800 giri, ma da quello che ho potuto leggere sulle specifiche del tuo dissi deve avere una ventola 60x60x15 da 4200 giri! Il BIOS di solito sovrastima la velocità delle ventole.
Comunque, a prescindere da queste minime differenze sui giri/minuto, se vuoi un raffreddamento adeguato devi cambiare ventola. Una recente recensione (non ricordo però dove) parla molto bene anche delle ventole ThermalTake, nella fattispecie una 60x60x25, silenziosa e con un ottimo volume d'aria.
Ciao