Hi Fellow Villagers! does any one have any knowledge in using a incredibly hot tub at their property but not covered below a Lanai? Seeking to determine if we have to spend $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio region https://johnnyhihig.wikifrontier.com/8048014/indicators_on_izmir_pergola_you_should_know