Hi Fellow Villagers! does anyone have any knowledge in employing a incredibly hot tub at their household but not lined below a Lanai? Trying to figure out if we have to invest $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio area https://izmir-tente15813.ouyawiki.com/1380328/5_easy_facts_about_izmir_awning_described