Hello fellow Villagers! does anybody have any encounter in using a very hot tub at their household although not lined beneath a Lanai? Hoping to figure out if we need to spend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio area https://emiliosuqnh.anchor-blog.com/14370268/fascination-about-pergola