Hi Fellow Villagers! does everyone have any encounter in utilizing a hot tub at their dwelling although not covered beneath a Lanai? Trying to figure out if we need to shell out $8-10k (ouch) on the Lanai extension or merely install the hot tub on our BBQ patio spot and https://johnathanssple.thezenweb.com/everything-about-izmir-pergola-72227749