Hello fellow Villagers! does anybody have any encounter in employing a very hot tub at their dwelling although not coated below a Lanai? Making an attempt to determine if we have to shell out $eight-10k (ouch) on a Lanai extension or simply put in the new tub on our BBQ patio space and find out When the bugs/insects is going to be tolerable? (We wo