Hi fellow Villagers! does any person have any knowledge in employing a very hot tub at their property although not coated underneath a Lanai? Trying to figure out if we must devote $eight-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio location and see if the bugs/insects is going to be tolerable? (We'd predict a lo