Hello fellow Villagers! does anyone have any expertise in employing a incredibly hot tub at their household but not coated under a Lanai? Trying to figure out if we have to expend $8-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio place https://reidcdzvp.birderswiki.com/1328152/everything_about_izmir_pergola