Hello fellow Villagers! does anyone have any practical experience in utilizing a warm tub at their household although not covered below a Lanai? Hoping to determine if we must expend $8-10k (ouch) on a Lanai extension or simply set up the recent tub on our BBQ patio space and see https://zionfeaun.ja-blog.com/34081727/considerations-to-know-about-izmir-awning