Yeah, would be good to know how big it is but I don't think that's a penny. More pics
here. If that's 80mm, they might even be able to fit a relatively quiet fan and still have it work seriously well. On the other hand, other recent reviews seem to think that more metal and not more airflow is what's getting the best cooling effect. (yes, a 7000RPM fan increases cooling by a few % over a 3000RPM one, but that's about it)