Hello fellow Villagers! does any person have any working experience in employing a warm tub at their dwelling but not protected less than a Lanai? Seeking to figure out if we have to devote $eight-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio region and find out When the bugs/insects are going to be tolerable? (W