Hi Fellow Villagers! does everyone have any experience in utilizing a hot tub at their house although not lined under a Lanai? Striving to figure out if we must invest $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio area and see https://andersoncdaxr.shopping-wiki.com/9070963/the_fact_about_izmir_awning_that_no_one_is_suggesting