Hi fellow Villagers! does any one have any practical experience in utilizing a hot tub at their residence although not lined beneath a Lanai? Hoping to determine if we have to expend $eight-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio region and see If your bugs/insects might be tolerable? (We would forecast