Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their property but not coated below a Lanai? Hoping to determine if we need to invest $8-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio place https://izmir-awning22986.madmouseblog.com/14688463/the-smart-trick-of-izmir-awning-that-no-one-is-discussing