I think that would be plenty. Mine is on 24/7, and the smaller 80mm fan is probably 4-5 inches away from the heatsink and it's fine. And if I remember correctly, I think I wired that fan down to 7v to make it quieter, so it's pretty slow also.
Thanks for the post! That gives me confidence that mine should be alright from a heat point og view.
As soon as I have it up and running I'll post an update.
Something weird I noticed is that the mouse cursor doesn't work when I am in the WebBIOS using IPMI.