Either fan (my suggestion, and the 5v Noctua) are better in all respects than the stock one. They push more air, are more reliable, and are quieter. Be sure to remove the existing fan and have the airflow down so the heatsink gets properly cooled. If you get another 12V fan, test it well to be...