Hello fellow Villagers! does any person have any expertise in employing a incredibly hot tub at their house although not included under a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio https://izmir-awning36198.blogdun.com/34799642/the-fact-about-izmir-awning-that-no-one-is-suggesting