Hi Fellow Villagers! does anyone have any knowledge in using a incredibly hot tub at their house although not lined under a Lanai? Attempting to figure out if we have to invest $eight-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio place https://devingoqzc.howeweb.com/34833484/pergola-options