Hi fellow Villagers! does any one have any practical experience in utilizing a hot tub at their household although not coated less than a Lanai? Hoping to determine if we must devote $8-10k (ouch) over a Lanai extension or simply set up the new tub on our BBQ patio area and see In case the bugs/inse