Hi Fellow Villagers! does anyone have any knowledge in employing a hot tub at their household but not lined under a Lanai? Trying to determine if we have to commit $8-10k (ouch) over a Lanai extension or maybe put in the new tub on our BBQ patio region and see https://emilioihcwq.fliplife-wiki.com/3903745/5_easy_facts_about_izmir_pergola_described