Hello fellow Villagers! does any one have any expertise in utilizing a incredibly hot tub at their house although not included below a Lanai? Attempting to determine if we need to devote $8-10k (ouch) over a Lanai extension or simply just install the new tub on our BBQ patio spot https://arthurswtni.livebloggs.com/40452227/everything-about-izmir-pergola