Hi Fellow Villagers! does any one have any knowledge in using a very hot tub at their house but not coated underneath a Lanai? Attempting to determine if we need to spend $8-10k (ouch) on the Lanai extension or simply put in the recent tub on our BBQ patio area https://izmirtente30369.blue-blogs.com/41406140/5-tips-about-izmir-awning-you-can-use-today