Hello fellow Villagers! does any one have any encounter in using a very hot tub at their property but not covered underneath a Lanai? Trying to figure out if we need to spend $eight-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio place https://pergola84825.wikijm.com/1350762/everything_about_izmir_pergola