Hello fellow Villagers! does anybody have any practical experience in utilizing a scorching tub at their house although not coated less than a Lanai? Trying to determine if we need to spend $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio location https://izmirpergola19482.bloguerosa.com/33128197/izmir-pergola-an-overview