This has been happening for 2-3 months now...the fan speed is roughly running at 2000 rpms and I didn't have any options in the bios to change the speed. I don't know how to up the speed of the cpu fan.
Isn't it disturbing though that his CPU fan is only running at 2000 rpm's? Is there anything he can do (ie software wise) to control the fan speed and raise it to something higher? I don't think he has the option to through his BIOS.