Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their household although not covered underneath a Lanai? Hoping to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or simply just install the new tub on our BBQ https://sethnlgzr.wikissl.com/1372704/everything_about_izmir_pergola