An 8,000 or 9,000 btu portable A/c unit would do the trick, right? I have access to either for a low price, so I am thinking of using them instead of a window unit (that way all the noise is contained in the well-insulated cabinet). They have tubes to dump moisture that I would have to seal...