Hello fellow Villagers! does everyone have any expertise in utilizing a hot tub at their residence although not coated underneath a Lanai? Seeking to determine if we need to invest $8-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio region and see In the event the bugs/insects might be tolerable? (We'd forecast the