Hello fellow Villagers! does any one have any encounter in using a very hot tub at their household although not protected beneath a Lanai? Striving to figure out if we must devote $8-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ patio area https://cesarkjfbs.wikilinksnews.com/5955776/5_essential_elements_for_pergola