Hi Fellow Villagers! does any one have any knowledge in utilizing a warm tub at their home although not lined under a Lanai? Attempting to figure out if we need to expend $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio place https://izmirpergola19158.governor-wiki.com/1366423/pergola_no_further_a_mystery