Hi fellow Villagers! does anybody have any working experience in utilizing a incredibly hot tub at their dwelling but not protected beneath a Lanai? Attempting to determine if we need to spend $eight-10k (ouch) over a Lanai extension or perhaps install the recent tub on our BBQ patio area and see If your bugs/insects will likely be tolerable? (We m