Hello fellow Villagers! does any one have any experience in utilizing a very hot tub at their house but not protected underneath a Lanai? Trying to determine if we need to commit $8-10k (ouch) with a Lanai extension or perhaps put in the hot tub on our BBQ patio place https://devindihol.wikijm.com/1369635/pergola_things_to_know_before_you_buy