Hi fellow Villagers! does anyone have any practical experience in using a hot tub at their property but not coated underneath a Lanai? Seeking to determine if we need to devote $eight-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio spot and https://charlieprnjc.wikibriefing.com/3276211/the_fact_about_izmir_awning_that_no_one_is_suggesting