Hi fellow Villagers! does anybody have any encounter in using a very hot tub at their residence but not coated less than a Lanai? Seeking to figure out if we need to spend $eight-10k (ouch) over a Lanai extension or simply just install the recent tub on our BBQ patio location and see In case the bugs/insects will probably be tolerable? (We'd predic