Hello fellow Villagers! does any person have any expertise in using a warm tub at their residence but not included under a Lanai? Hoping to figure out if we have to spend $eight-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio space https://tituskruqm.angelinsblog.com/33193386/pergola-things-to-know-before-you-buy