Hello fellow Villagers! does any person have any practical experience in using a very hot tub at their house but not protected below a Lanai? Hoping to determine if we need to commit $8-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio space https://izmir-awning85925.ampedpages.com/izmir-awning-secrets-61077324