Hi Fellow Villagers! does anybody have any experience in using a hot tub at their property but not coated beneath a Lanai? Trying to determine if we have to spend $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio place and find https://izmirpergola79742.law-wiki.com/1373721/detailed_notes_on_izmir_pergola