Hello fellow Villagers! does anybody have any practical experience in utilizing a very hot tub at their household although not lined below a Lanai? Trying to determine if we need to expend $eight-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio space and see If your bugs/insects might be tolerable? (We would forecast