DR80, an LED grow light, what fan?

I've just bought and am very happy with a DR80 and a 120watt LED grow light but I don't know anything about fans I've seen on on eBay, and I want to know what else i need to buy.

C'mon any recommendations for a 4" fan? Or is that to small?