Hi Fellow Villagers! does any individual have any working experience in utilizing a hot tub at their property but not included less than a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) on the Lanai extension or merely install the hot tub on our BBQ patio https://jaredewggk.wikiconversation.com/7142607/izmir_awning_secrets