Hi fellow Villagers! does anybody have any practical experience in using a warm tub at their household although not included under a Lanai? Attempting to determine if we have to commit $8-10k (ouch) on a Lanai extension or just put in the new tub on our BBQ patio region and https://dallasuwuqk.wikinarration.com/6722579/considerations_to_know_about_izmir_awning