Hi Fellow Villagers! does any person have any encounter in utilizing a warm tub at their house but not protected under a Lanai? Hoping to figure out if we must expend $8-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio space and https://arthuresepz.wikienlightenment.com/7613550/the_fact_about_izmir_awning_that_no_one_is_suggesting