Hello Fellow Villagers! does anybody have any experience in using a incredibly hot tub at their home although not lined under a Lanai? Attempting to determine if we have to commit $8-10k (ouch) on the Lanai extension or perhaps put in the new tub on our BBQ patio area and https://donovanlljnx.ampedpages.com/pergola-options-60988450