Hello fellow Villagers! does any person have any experience in using a warm tub at their house but not protected below a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) with a Lanai extension or simply just put in the hot tub on our BBQ patio https://izmirpergola19372.wikiconverse.com/5438951/5_essential_elements_for_pergola