Hi fellow Villagers! does any individual have any encounter in utilizing a hot tub at their dwelling although not coated underneath a Lanai? Making an attempt to determine if we have to devote $eight-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio region and see In the event the bugs/insects might be tolerable? (We m