I don't know if this is the right sub-forum, but searching for this was very hard, so I'm just going to ask. What do you guys use for an outside/outdoor fan? Like a fan you use when sitting at the picnic table while having dinner and it's horribly hot and humid and the mosquitoes are buzzing around your ear as they bite you? I am about to buy a 20" box fan at HD, but I don't know if that's something that is going to last me or if it's going to be a good setup. We are going to the keys in a couple of weeks and I know we'll need this thing. We have an HTT, but we don't spend much time in the camper. Thanks!