Hello Fellow Villagers! does anyone have any knowledge in using a incredibly hot tub at their household but not covered underneath a Lanai? Hoping to figure out if we need to expend $eight-10k (ouch) over a Lanai extension or simply put in the recent tub on our BBQ patio space https://remingtonjwltz.wikimillions.com/3844618/the_fact_about_izmir_awning_that_no_one_is_suggesting