Hello fellow Villagers! does anyone have any working experience in using a very hot tub at their household although not lined under a Lanai? Striving to figure out if we have to commit $eight-10k (ouch) over a Lanai extension or maybe put in the new tub on our BBQ patio https://izmir-awning05813.homewikia.com/11325034/pergola_options