Hello fellow Villagers! does anyone have any expertise in using a very hot tub at their residence although not lined underneath a Lanai? Striving to determine if we must devote $8-10k (ouch) over a Lanai extension or merely set up the new tub on our BBQ patio region and find out Should the bugs/insects might be tolerable? (We would predict most of