Hi fellow Villagers! does anybody have any knowledge in employing a incredibly hot tub at their household although not protected underneath a Lanai? Trying to determine if we have to shell out $8-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio location https://izmir-awning15813.wikijm.com/1367334/fascination_about_izmir_pergola