Hi fellow Villagers! does everyone have any working experience in employing a very hot tub at their residence but not covered below a Lanai? Attempting to figure out if we must expend $8-10k (ouch) with a Lanai extension or merely set up the recent tub on our BBQ patio place https://pergola97271.wikiitemization.com/4892318/details_fiction_and_tarpaulin