Hello fellow Villagers! does anyone have any working experience in using a very hot tub at their property although not lined less than a Lanai? Hoping to figure out if we must spend $eight-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio area https://izmirtente65942.qodsblog.com/34056642/5-simple-statements-about-izmir-tente-explained