Hello Fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their property but not coated under a Lanai? Striving to figure out if we have to devote $8-10k (ouch) on a Lanai extension or just put in the recent tub on our BBQ patio space https://izmirawning75935.aboutyoublog.com/38077775/a-review-of-izmir-pergola