Hi fellow Villagers! does any individual have any experience in utilizing a very hot tub at their residence although not covered beneath a Lanai? Trying to determine if we need to commit $8-10k (ouch) with a Lanai extension or simply just install the new tub on our BBQ patio region and see Should the bugs/insects will be tolerable? (We would predic