Hello fellow Villagers! does any one have any knowledge in using a hot tub at their household but not included beneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ patio region https://jaredjzgmr.59bloggers.com/34530404/considerations-to-know-about-izmir-awning