Hello fellow Villagers! does any individual have any practical experience in utilizing a incredibly hot tub at their home but not protected beneath a Lanai? Seeking to figure out if we must commit $eight-10k (ouch) on the Lanai extension or maybe install the new tub on our BBQ patio region and see If your bugs/insects will probably be tolerable? (W