Hello Fellow Villagers! does any one have any experience in using a very hot tub at their dwelling although not lined under a Lanai? Seeking to determine if we need to expend $eight-10k (ouch) over a Lanai extension or simply put in the new tub on our BBQ patio area https://pergola39268.wikidirective.com/7375498/izmir_pergola_an_overview