Hi fellow Villagers! does any person have any experience in utilizing a hot tub at their household although not included under a Lanai? Hoping to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or just install the recent tub on our BBQ patio region and https://izmirpergola26890.spintheblog.com/34579978/izmir-pergola-an-overview