Hi Fellow Villagers! does everyone have any practical experience in utilizing a hot tub at their residence although not covered less than a Lanai? Trying to figure out if we have to devote $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio https://cristiangziya.livebloggs.com/40457712/everything-about-izmir-pergola