Hello fellow Villagers! does any one have any knowledge in utilizing a very hot tub at their house but not protected underneath a Lanai? Hoping to figure out if we must expend $eight-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio space https://izmirpergola41828.wikiinside.com/1801476/izmir_pergola_an_overview