Hi fellow Villagers! does anyone have any experience in using a very hot tub at their house although not lined less than a Lanai? Trying to determine if we must commit $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio area and https://elliottzbzvo.blogproducer.com/41168552/5-easy-facts-about-izmir-pergola-described