Hi Fellow Villagers! does any person have any knowledge in utilizing a hot tub at their property although not covered less than a Lanai? Striving to determine if we need to spend $8-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio space https://izmir-awning65171.wikinstructions.com/1363143/5_easy_facts_about_izmir_awning_described