Hi fellow Villagers! does everyone have any knowledge in using a very hot tub at their house although not covered under a Lanai? Hoping to determine if we need to spend $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio space and https://beaueufpz.ja-blog.com/34270986/5-easy-facts-about-izmir-awning-described