Hello fellow Villagers! does anyone have any expertise in utilizing a incredibly hot tub at their house although not lined beneath a Lanai? Hoping to determine if we must commit $8-10k (ouch) on a Lanai extension or simply put in the new tub on our BBQ patio place and see https://izmir-tente03232.wikissl.com/1359027/detailed_notes_on_izmir_pergola