Hello fellow Villagers! does everyone have any experience in utilizing a very hot tub at their residence but not included under a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio space and https://hectorzoakt.wikidank.com/1346766/izmir_pergola_an_overview