Hi Fellow Villagers! does anybody have any working experience in employing a incredibly hot tub at their residence but not lined under a Lanai? Attempting to figure out if we must spend $8-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio region https://izmirpergola71233.idblogz.com/34611035/fascination-about-izmir-pergola