Hi fellow Villagers! does everyone have any practical experience in utilizing a hot tub at their house but not coated beneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) with a Lanai extension or just set up the new tub on our BBQ patio space https://riverjmfwl.magicianwiki.com/1256658/not_known_facts_about_izmir_pergola