Hi fellow Villagers! does everyone have any experience in using a scorching tub at their house but not covered under a Lanai? Trying to figure out if we need to commit $8-10k (ouch) on a Lanai extension or perhaps install the recent tub on our BBQ patio space and find https://tarpaulin59257.homewikia.com/11333309/izmir_awning_secrets