Hello fellow Villagers! does everyone have any knowledge in using a very hot tub at their household although not protected beneath a Lanai? Attempting to figure out if we have to devote $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio https://izmirawning37036.onesmablog.com/izmir-awning-secrets-74716597