Hello fellow Villagers! does anyone have any knowledge in utilizing a hot tub at their property but not coated beneath a Lanai? Attempting to determine if we have to spend $8-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio area and see https://izmir-pergola03455.dekaronwiki.com/1370274/not_known_facts_about_izmir_tente