Hi Fellow Villagers! does any person have any expertise in employing a warm tub at their residence but not lined underneath a Lanai? Attempting to determine if we must devote $eight-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio space and see https://louisgwetb.wikimillions.com/3831793/detailed_notes_on_izmir_pergola