Hi fellow Villagers! does any individual have any practical experience in employing a incredibly hot tub at their home although not protected under a Lanai? Striving to determine if we have to devote $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio region and see If your bugs/insects will be tolerable? (We might