Hello fellow Villagers! does everyone have any expertise in utilizing a hot tub at their property although not included underneath a Lanai? Striving to figure out if we have to spend $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio area and see if the bugs/insects might be tolerable? (We might forecast most of our