Hi Fellow Villagers! does any person have any encounter in using a incredibly hot tub at their property but not included below a Lanai? Striving to figure out if we need to invest $8-10k (ouch) over a Lanai extension or merely set up the hot tub on our BBQ patio https://andrewtnhz.snack-blog.com/34079152/the-fact-about-izmir-pergola-that-no-one-is-suggesting