Hello fellow Villagers! does any person have any expertise in employing a hot tub at their property but not protected under a Lanai? Seeking to determine if we have to expend $8-10k (ouch) over a Lanai extension or maybe install the recent tub on our BBQ patio region and see https://pergola80919.wikimeglio.com/9715649/everything_about_izmir_pergola