Hi fellow Villagers! does anybody have any practical experience in using a very hot tub at their dwelling but not protected less than a Lanai? Seeking to determine if we need to commit $8-10k (ouch) on a Lanai extension or maybe put in the recent tub on our BBQ patio https://izmirtente52591.vigilwiki.com/6791123/5_easy_facts_about_izmir_awning_described