Hello fellow Villagers! does anyone have any expertise in utilizing a very hot tub at their dwelling although not included under a Lanai? Attempting to figure out if we need to commit $8-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio region and https://pergola16925.birderswiki.com/1328179/pergola_things_to_know_before_you_buy