Hi fellow Villagers! does anybody have any expertise in utilizing a very hot tub at their residence although not protected less than a Lanai? Hoping to determine if we need to commit $eight-10k (ouch) with a Lanai extension or simply set up the new tub on our BBQ patio location and see If your bugs/insects will be tolerable? (We might forecast the