I have a friend and he is running a p4 3ghz with a stock fan and heatsink it is running at 44c I have a amd64 on stock and it runs at 30c I am thinking something is wrong I told him to look at getting a Thermal Right SLK948U and a vantec tornado TD9238H with double ball bearing. I was wondering your opinions on a fan and heatsink for him to get. Thanks for your time