Hi fellow Villagers! does everyone have any expertise in using a hot tub at their home although not included under a Lanai? Trying to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or merely install the hot tub on our BBQ patio region and https://daltonjtjqk.blogunteer.com/33180159/everything-about-izmir-pergola