Hello Fellow Villagers! does anybody have any experience in utilizing a hot tub at their house although not covered underneath a Lanai? Attempting to figure out if we must invest $8-10k (ouch) over a Lanai extension or simply set up the new tub on our BBQ patio area and see https://deanxpups.wikikarts.com/1368791/the_fact_about_tarpaulin_that_no_one_is_suggesting