I would get him a 7600GT or something... They're only ~$90 now... Instead of putting a new cooler on it..
It originally didn't come with a cooler just the heatsink. I don't have the money to spend on a new card. Card is only a few months old anyway.
You can also get "PCI coolers". Basically a fan that fits in the open expansion slots. That might work...
http://www.newegg.com/Product/Product.aspx?Item=N82E16811999154
Very basic, no mods required for the card. As long as the card has no fan, it should work pretty well. You could even maybe put some tape around the fan/card to help keep the air right around the heatsink and perhaps increase efficiency![]()
between 80 and 90 degrees Celcius. My son is a 12 yr old and not that high of a gamer, YET!!!