Hi fellow Villagers! does any individual have any expertise in utilizing a very hot tub at their home although not lined below a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ https://gunnerwkxis.fliplife-wiki.com/3893340/everything_about_izmir_pergola