Hello fellow Villagers! does any person have any practical experience in using a hot tub at their home but not lined below a Lanai? Attempting to figure out if we need to spend $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio place https://dallastiteo.plpwiki.com/6671194/fascination_about_pergola