Hi fellow Villagers! does any one have any practical experience in utilizing a very hot tub at their property but not protected under a Lanai? Hoping to figure out if we need to invest $eight-10k (ouch) on the Lanai extension or maybe install the new tub on our BBQ patio https://izmirawning43073.wikifordummies.com/8569039/izmir_pergola_an_overview