Hi fellow Villagers! does anyone have any knowledge in utilizing a incredibly hot tub at their house although not protected less than a Lanai? Striving to determine if we must shell out $eight-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio spot and find out if the bugs/insects are going to be tolerable? (We'd predic