Hello fellow Villagers! does anybody have any working experience in employing a warm tub at their residence although not covered below a Lanai? Trying to determine if we must expend $8-10k (ouch) on the Lanai extension or just set up the recent tub on our BBQ patio area and see If your bugs/insects might be tolerable? (We might predict the vast maj