Hello fellow Villagers! does any one have any expertise in using a incredibly hot tub at their house but not included below a Lanai? Striving to figure out if we must spend $eight-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio spot and https://landennkiek.dreamyblogs.com/34525000/the-izmir-pergola-diaries