Hello fellow Villagers! does anybody have any experience in utilizing a hot tub at their residence but not included below a Lanai? Trying to figure out if we need to commit $8-10k (ouch) on a Lanai extension or merely put in the hot tub on our BBQ patio spot and https://izmir-tente24337.wikiitemization.com/4910876/pergola_options