Hello fellow Villagers! does anybody have any experience in utilizing a incredibly hot tub at their residence but not coated beneath a Lanai? Attempting to figure out if we must expend $eight-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio region and find out If your bugs/insects is going to be tolerable? (We'd fore