Hi fellow Villagers! does anybody have any experience in using a very hot tub at their property but not protected under a Lanai? Attempting to figure out if we have to commit $eight-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio location https://izmirpergola63295.wikikarts.com/1369400/izmir_pergola_can_be_fun_for_anyone