Hello Fellow Villagers! does any individual have any encounter in utilizing a very hot tub at their residence but not covered under a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio space https://spencerikhea.blogdun.com/34749852/the-basic-principles-of-izmir-tente