Hello fellow Villagers! does everyone have any practical experience in employing a very hot tub at their house although not covered beneath a Lanai? Seeking to determine if we must shell out $8-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ patio area https://sergioeinqv.homewikia.com/11337717/detailed_notes_on_izmir_pergola