Hello fellow Villagers! does everyone have any working experience in employing a incredibly hot tub at their house although not protected less than a Lanai? Hoping to figure out if we must expend $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio space and find out if the bugs/insects are going to be tolerable? (We'd