Hello Fellow Villagers! does anybody have any knowledge in using a incredibly hot tub at their residence but not included under a Lanai? Trying to determine if we need to expend $8-10k (ouch) on a Lanai extension or just put in the recent tub on our BBQ patio region and https://griffiniidzt.gigswiki.com/5543148/pergola_options