Hi fellow Villagers! does anybody have any experience in using a hot tub at their dwelling but not lined below a Lanai? Hoping to determine if we have to commit $eight-10k (ouch) on a Lanai extension or maybe put in the new tub on our BBQ patio region and find out When the bugs/insects will likely b