Hello fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their house but not covered under a Lanai? Seeking to determine if we need to invest $eight-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio space and https://izmirtente74849.wikirecognition.com/1392629/the_fact_about_izmir_awning_that_no_one_is_suggesting