Hello fellow Villagers! does any individual have any working experience in utilizing a hot tub at their property although not coated less than a Lanai? Making an attempt to determine if we must invest $eight-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio area and see In the event the bugs/insects are going to be tole