Hi Fellow Villagers! does any one have any expertise in employing a hot tub at their residence but not lined below a Lanai? Hoping to determine if we must devote $8-10k (ouch) on the Lanai extension or merely set up the new tub on our BBQ patio spot and see https://elliottaavsl.wikidirective.com/7373300/pergola_options