Hello fellow Villagers! does any individual have any knowledge in utilizing a warm tub at their home but not lined under a Lanai? Trying to figure out if we have to devote $8-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio area https://izmirtente62585.dm-blog.com/34211244/not-known-facts-about-izmir-pergola