Hello Fellow Villagers! does any one have any experience in using a hot tub at their house although not lined below a Lanai? Seeking to figure out if we have to expend $8-10k (ouch) with a Lanai extension or perhaps install the hot tub on our BBQ patio spot and https://johnnynokga.wikibestproducts.com/1384981/5_simple_statements_about_izmir_awning_explained