Hello fellow Villagers! does anybody have any encounter in using a very hot tub at their house but not lined less than a Lanai? Hoping to determine if we have to invest $8-10k (ouch) with a Lanai extension or simply install the new tub on our BBQ patio space and https://izmir-awning01963.develop-blog.com/41203345/detailed-notes-on-izmir-pergola