Hi fellow Villagers! does everyone have any experience in utilizing a very hot tub at their residence although not protected underneath a Lanai? Hoping to figure out if we need to invest $eight-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio region and see In the event the bugs/insects might be tolerable? (We would for