What make/model are we talking? I thought the portable ones weren’t supposed to be all that great, and quite noisy? We’ve been making do with a big floor standing fan, but it only does so much.