Hi Fellow Villagers! does any one have any practical experience in using a incredibly hot tub at their home but not lined below a Lanai? Seeking to determine if we need to expend $8-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio https://devinabwrk.blogdomago.com/33009837/a-review-of-izmir-pergola