Hi Fellow Villagers! does any one have any working experience in employing a incredibly hot tub at their residence but not coated underneath a Lanai? Striving to determine if we have to expend $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://izmir-pergola60368.mysticwiki.com/1357085/izmir_awning_secrets