Hi Fellow Villagers! does any one have any working experience in using a incredibly hot tub at their house but not protected underneath a Lanai? Attempting to figure out if we need to expend $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio https://izmirpergola52851.robhasawiki.com/11233064/izmir_pergola_an_overview