Hello fellow Villagers! does any individual have any practical experience in using a very hot tub at their household but not protected beneath a Lanai? Striving to figure out if we need to spend $eight-10k (ouch) on the Lanai extension or just put in the new tub on our BBQ https://becketteymbz.wikicommunications.com/5434213/pergola_no_further_a_mystery