Hi fellow Villagers! does everyone have any knowledge in utilizing a hot tub at their dwelling although not protected under a Lanai? Attempting to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio space and see If your bugs/insects is going to be tolerable? (We would forecast the