Hi Fellow Villagers! does any person have any expertise in utilizing a hot tub at their residence but not covered under a Lanai? Hoping to figure out if we have to devote $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio space and https://augustiicxq.birderswiki.com/1317671/pergola_things_to_know_before_you_buy