From my experience basements are generally damp add in the heat of the HPS lights your on about and you are certainly going to want to vent that air. The link OJB posted seems to be a good way to work out the size/amount of fans you need.