Hi fellow Villagers! does anyone have any expertise in employing a incredibly hot tub at their dwelling but not protected below a Lanai? Attempting to figure out if we have to shell out $eight-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio location and find out if the bugs/insects will be tolerable? (We would predi