Hi fellow Villagers! does any individual have any expertise in using a warm tub at their house but not protected beneath a Lanai? Attempting to figure out if we need to devote $eight-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio spot and see If your bugs/insects are going to be tolerable? (We might forecast the va