Hello fellow Villagers! does everyone have any expertise in using a very hot tub at their household although not coated underneath a Lanai? Striving to determine if we need to invest $8-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio area and https://lorenzovdhor.mysticwiki.com/1352690/detailed_notes_on_izmir_pergola