Yup the intel stock fan does have a 4 pin plug on it, but I think he's using this cooler from his sig:
http://www.silentpcreview.com/article267-page1.html

And in that review of it they show it only has a 3 pin plug on it, so if he's got it plugged into the 4 pin header he might have problems controlling it. Mine seemed to work on that header at first, but after a few reboots it was either not running at all or was at max.