Hi fellow Villagers! does any one have any experience in using a very hot tub at their household but not covered under a Lanai? Attempting to determine if we have to shell out $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio https://izmirawning41608.kylieblog.com/34680655/pergola-things-to-know-before-you-buy