Hello Fellow Villagers! does any person have any knowledge in using a hot tub at their household but not covered less than a Lanai? Hoping to determine if we have to invest $8-10k (ouch) with a Lanai extension or perhaps put in the new tub on our BBQ patio area https://izmir-tente64714.angelinsblog.com/33275347/pergola-things-to-know-before-you-buy