Hi fellow Villagers! does anybody have any encounter in using a incredibly hot tub at their home but not coated underneath a Lanai? Seeking to determine if we need to shell out $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio place and find out If your bugs/insects will be tolerable? (We might forecast a lot of