Hello fellow Villagers! does anyone have any expertise in using a very hot tub at their dwelling although not protected less than a Lanai? Hoping to determine if we have to devote $8-10k (ouch) on the Lanai extension or merely set up the hot tub on our BBQ patio region and see Should the bugs/insect