Hi fellow Villagers! does any individual have any encounter in using a very hot tub at their home but not lined underneath a Lanai? Seeking to determine if we have to expend $eight-10k (ouch) over a Lanai extension or maybe set up the new tub on our BBQ patio place and find out In case the bugs/insects might be tolerable? (We would predict a lot of