Hi Fellow Villagers! does any individual have any expertise in using a incredibly hot tub at their house but not included underneath a Lanai? Hoping to determine if we have to shell out $8-10k (ouch) on the Lanai extension or merely set up the hot tub on our BBQ patio https://pergola27216.blogsvila.com/34130111/the-fact-about-izmir-awning-that-no-one-is-suggesting