Hi fellow Villagers! does everyone have any experience in utilizing a incredibly hot tub at their house although not lined under a Lanai? Hoping to figure out if we must spend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio place and https://titusdthsb.vigilwiki.com/6783701/fascination_about_pergola