Hi Fellow Villagers! does any one have any experience in using a hot tub at their property but not coated underneath a Lanai? Trying to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio space https://cesarmxcfi.corpfinwiki.com/8841378/the_fact_about_izmir_awning_that_no_one_is_suggesting