Hi fellow Villagers! does anybody have any knowledge in employing a very hot tub at their property but not covered less than a Lanai? Trying to determine if we have to shell out $8-10k (ouch) over a Lanai extension or maybe set up the recent tub on our BBQ patio https://dallasobnxh.magicianwiki.com/1261924/pergola_no_further_a_mystery