Hi fellow Villagers! does everyone have any practical experience in using a incredibly hot tub at their dwelling but not included under a Lanai? Seeking to determine if we have to shell out $8-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio https://pergola46473.signalwiki.com/1377024/5_easy_facts_about_izmir_awning_described