Hello fellow Villagers! does any individual have any practical experience in employing a very hot tub at their dwelling but not covered below a Lanai? Striving to determine if we need to expend $8-10k (ouch) over a Lanai extension or simply set up the recent tub on our BBQ patio https://izmirtente05935.mysticwiki.com/1351952/pergola_options