Hi fellow Villagers! does anybody have any working experience in employing a hot tub at their household but not coated under a Lanai? Seeking to figure out if we need to commit $eight-10k (ouch) on a Lanai extension or maybe put in the new tub on our BBQ patio location and find out if the bugs/insec