Hi Fellow Villagers! does any one have any encounter in using a very hot tub at their house but not coated underneath a Lanai? Trying to figure out if we have to devote $8-10k (ouch) on a Lanai extension or just put in the hot tub on our BBQ patio https://izmirtente64173.wikipresses.com/5340361/considerations_to_know_about_izmir_awning