Hi Fellow Villagers! does any one have any experience in utilizing a very hot tub at their residence although not coated less than a Lanai? Hoping to figure out if we need to devote $8-10k (ouch) on a Lanai extension or just install the new tub on our BBQ patio https://izmir-tente38035.spintheblog.com/34373632/a-review-of-izmir-pergola