Hi fellow Villagers! does everyone have any expertise in using a incredibly hot tub at their home but not lined beneath a Lanai? Trying to determine if we must invest $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio region and see Should https://izmir-awning77113.wikiconversation.com/7147042/considerations_to_know_about_izmir_awning