Hello Fellow Villagers! does any individual have any experience in employing a very hot tub at their house although not protected under a Lanai? Hoping to figure out if we must devote $8-10k (ouch) over a Lanai extension or maybe put in the hot tub on our BBQ patio spot https://trevorahgda.sasugawiki.com/6986715/5_essential_elements_for_tarpaulin