Hi fellow Villagers! does everyone have any knowledge in utilizing a very hot tub at their household although not covered below a Lanai? Seeking to figure out if we must expend $8-10k (ouch) on a Lanai extension or maybe install the hot tub on our BBQ patio region and see https://johnnyrtroi.jasperwiki.com/6615007/fascination_about_pergola