Hello Fellow Villagers! does any one have any practical experience in using a hot tub at their dwelling but not included below a Lanai? Seeking to determine if we have to spend $8-10k (ouch) over a Lanai extension or simply put in the new tub on our BBQ patio area https://izmirpergola73713.blogars.com/33042863/the-best-side-of-izmir-pergola