Hi Fellow Villagers! does everyone have any experience in utilizing a hot tub at their home but not coated less than a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio region https://izmirpergola99628.bloggip.com/34235802/5-easy-facts-about-izmir-pergola-described