These look the same: http://www.ebay.com/sch/Computer-Case-Fans/131487/i.html?_from=R40&_nkw=cpu+fan+3010s+12V Watch out! You have to put another 3pin connector on it!
Just make sure it's got a third wire if you want to monitor the speed. [Personally, I'm hoping someone will make a better heat sink.] And, thanks to @Alex Powers for the new (to me) price search web site.