Hello fellow Villagers! does any individual have any working experience in utilizing a very hot tub at their residence although not protected beneath a Lanai? Trying to determine if we have to devote $eight-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio place https://titushgczr.wikicommunications.com/5459809/pergola_no_further_a_mystery