Hi fellow Villagers! does any person have any experience in using a warm tub at their household but not lined under a Lanai? Seeking to determine if we must expend $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio space and see https://izmirtente05925.westexwiki.com/1366130/the_best_side_of_izmir_pergola