Hi fellow Villagers! does any individual have any knowledge in utilizing a hot tub at their home but not lined below a Lanai? Striving to figure out if we must expend $eight-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio space and see https://emiliowczwp.buyoutblog.com/34057241/a-review-of-pergola