Hello fellow Villagers! does any one have any experience in employing a incredibly hot tub at their residence but not coated less than a Lanai? Attempting to figure out if we need to expend $8-10k (ouch) on a Lanai extension or maybe install the hot tub on our BBQ patio https://izmirpergola31116.life3dblog.com/33092434/not-known-facts-about-izmir-pergola