Hi fellow Villagers! does anybody have any practical experience in using a incredibly hot tub at their residence but not lined under a Lanai? Trying to determine if we need to expend $eight-10k (ouch) over a Lanai extension or simply just put in the hot tub on our BBQ patio region and see In case the bugs/insects will be tolerable? (We'd forecast a