Hi fellow Villagers! does anyone have any expertise in using a hot tub at their property but not lined below a Lanai? Striving to determine if we need to expend $eight-10k (ouch) on a Lanai extension or merely install the new tub on our BBQ patio space and find out if the bugs/insects are going to be tolerable? (We might predict a lot of our Sizzli