Hello fellow Villagers! does anyone have any experience in using a hot tub at their household although not protected beneath a Lanai? Striving to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio location and find out When the bugs/insects will likely be tolerable? (We'd pre