Hello fellow Villagers! does any individual have any encounter in using a incredibly hot tub at their residence although not covered less than a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) on the Lanai extension or simply just put in the new tub on our BBQ patio region and see In the event the bugs/insects might be tolerable?