Hi Fellow Villagers! does any individual have any experience in utilizing a warm tub at their residence although not included below a Lanai? Trying to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or just install the new tub on our BBQ patio space https://garrettlopkz.blogsvirals.com/33301226/the-definitive-guide-to-izmir-tente