Hello fellow Villagers! does anybody have any practical experience in using a incredibly hot tub at their house but not lined beneath a Lanai? Striving to determine if we must commit $8-10k (ouch) on the Lanai extension or simply put in the recent tub on our BBQ patio space and https://deanomgas.wikirecognition.com/1400605/the_best_side_of_izmir_pergola