Hi fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their house although not protected beneath a Lanai? Trying to determine if we have to commit $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio area and see if the bugs/insects might be tolerable? (We'd predict most of our Warm tub use