Hi Fellow Villagers! does everyone have any experience in employing a hot tub at their residence but not covered under a Lanai? Attempting to determine if we have to commit $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio space and see https://izmirtente41451.blogrelation.com/40418057/fascination-about-izmir-pergola