Hello fellow Villagers! does anyone have any working experience in using a incredibly hot tub at their home although not lined underneath a Lanai? Attempting to figure out if we have to invest $8-10k (ouch) with a Lanai extension or merely install the hot tub on our BBQ patio area https://izmirpergola07035.is-blog.com/40504328/fascination-about-pergola