Hello fellow Villagers! does any person have any knowledge in utilizing a very hot tub at their house although not protected below a Lanai? Attempting to determine if we have to devote $8-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio region https://tarpaulin05702.azuria-wiki.com/1350708/pergola_options