Hello fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their dwelling but not lined under a Lanai? Trying to determine if we must spend $eight-10k (ouch) on the Lanai extension or perhaps install the new tub on our BBQ patio space and see https://tarpaulin36649.tinyblogging.com/everything-about-izmir-pergola-77842381