So I am seriously leaning towards venting outside, the less mess the better, so now what is the best way to replace the displaced air? Will opening one of the windows be enough? While this is not the most desirable scenario in the middle of the winter when it is 0 or below, I can deal with it. My shop is not heated or cooled, only relies on the heat from up above.