Hi Fellow Villagers! does anyone have any experience in utilizing a very hot tub at their residence but not coated under a Lanai? Seeking to figure out if we need to devote $8-10k (ouch) on the Lanai extension or just put in the hot tub on our BBQ patio space https://devinlkgbs.wikigop.com/1265081/not_known_facts_about_izmir_pergola