Hello fellow Villagers! does anybody have any expertise in utilizing a very hot tub at their home but not covered under a Lanai? Trying to determine if we have to shell out $8-10k (ouch) on the Lanai extension or merely install the recent tub on our BBQ patio space and https://izmirawning28269.nizarblog.com/34165297/a-review-of-izmir-pergola