Hello Fellow Villagers! does anybody have any expertise in employing a hot tub at their residence but not lined underneath a Lanai? Trying to determine if we need to devote $8-10k (ouch) over a Lanai extension or just set up the new tub on our BBQ patio region and see https://pergola73727.blogrelation.com/40369514/the-best-side-of-izmir-pergola