Hello Fellow Villagers! does anyone have any expertise in using a incredibly hot tub at their property although not covered under a Lanai? Attempting to determine if we must expend $8-10k (ouch) on the Lanai extension or simply put in the recent tub on our BBQ patio space and see https://reidmdkzo.full-design.com/the-fact-about-izmir-awning-that-no-one-is-suggesting-76383417