Well, if you have any cooling problems with it which I doubt you will, at least you'll know that it's probably not flowing fast enough. However, that pump should cope with everything so no worries. Glad to hear you figured it out and for future reference, a puller fan is probably more efficient than a pusher but not by much (don't listen to those over-exaggerated results saying a pusher's only 80% as efficient, more like 90 range if that at all).
