Hello Fellow Villagers! does any individual have any working experience in employing a hot tub at their property but not lined beneath a Lanai? Hoping to figure out if we must expend $eight-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio area https://izmirpergola20481.blogvivi.com/34725616/the-izmir-pergola-diaries