Hello fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their house but not included less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or simply just set up the recent tub on our BBQ patio https://izmirpergola49442.wikicommunications.com/5457551/fascination_about_izmir_pergola