Hi fellow Villagers! does anyone have any expertise in utilizing a very hot tub at their household although not coated underneath a Lanai? Seeking to figure out if we need to shell out $8-10k (ouch) on the Lanai extension or simply just install the new tub on our BBQ patio space and see Should the bugs/insects will likely be tolerable? (We would fo