Hi fellow Villagers! does any person have any experience in utilizing a warm tub at their dwelling although not covered less than a Lanai? Seeking to determine if we have to expend $8-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio place and find out if the bugs/insects might be tolerable? (We might predict most of