Hi Fellow Villagers! does any person have any expertise in using a very hot tub at their property although not coated beneath a Lanai? Hoping to determine if we have to expend $8-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio location https://marioebvpi.ktwiki.com/1371306/the_fact_about_tarpaulin_that_no_one_is_suggesting