I'm no expert at this whatsoever but from what I've gleaned looking around, a good heuristic is that removing hot air is way better than pushing cold air in. A

I'm no expert at this whatsoever but from what I've gleaned looking around, a good heuristic is that removing hot air is way better than pushing cold air in. As a kind of hand-waivy argument, I think of the difference between averaging cool air with how hot it gets ("pushing" air in) vs. removing and replacing with ambient temperature air. In the case of 'pushing' air in, the average of something like 40deg F with 300deg F is 170deg F. Even if ambient is 70deg F, by replacing air with ambient, that's a 2x better cooling, not to mention the energy saving from just using a fan compared with cooling with an air conditioner or some other equipment.