Hello fellow Villagers! does any one have any encounter in using a incredibly hot tub at their dwelling although not included under a Lanai? Attempting to determine if we need to expend $8-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio space https://izmir-tente96295.wikipublicity.com/6409718/a_review_of_pergola