Hello fellow Villagers! does anyone have any knowledge in employing a warm tub at their residence although not covered less than a Lanai? Striving to figure out if we must devote $8-10k (ouch) over a Lanai extension or simply install the recent tub on our BBQ patio region and see https://izmirpergola12858.wikidirective.com/7378365/pergola_no_further_a_mystery