Hi Fellow Villagers! does anyone have any expertise in utilizing a incredibly hot tub at their household although not covered under a Lanai? Attempting to figure out if we must invest $8-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio area https://izmir-pergola17146.wikifordummies.com/8569735/indicators_on_izmir_pergola_you_should_know