Hello fellow Villagers! does any person have any experience in employing a sizzling tub at their household but not lined beneath a Lanai? Trying to determine if we must spend $eight-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio place and find out If your bugs/insects will likely be tolerable? (We might forecast almos