Hello Fellow Villagers! does everyone have any knowledge in using a incredibly hot tub at their residence but not lined below a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) on the Lanai extension or just set up the recent tub on our BBQ patio region https://edgarzayzb.eveowiki.com/1376832/pergola_options