Hi fellow Villagers! does everyone have any expertise in utilizing a very hot tub at their household but not protected less than a Lanai? Trying to figure out if we have to commit $eight-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio https://marioduogy.wikiexpression.com/4310619/considerations_to_know_about_izmir_awning