Hi Fellow Villagers! does any individual have any experience in employing a hot tub at their dwelling but not lined under a Lanai? Attempting to figure out if we have to devote $8-10k (ouch) on a Lanai extension or simply set up the recent tub on our BBQ patio area https://elliotwtpkz.wikisona.com/1394953/5_easy_facts_about_izmir_pergola_described