Hello fellow Villagers! does everyone have any practical experience in using a hot tub at their property although not lined underneath a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) on the Lanai extension or maybe install the hot tub on our BBQ patio area and find out When the bugs/insects will be tolerable? (We would forecast nea