Hi Fellow Villagers! does anyone have any practical experience in using a warm tub at their house although not coated less than a Lanai? Seeking to determine if we need to expend $8-10k (ouch) on a Lanai extension or simply just install the hot tub on our BBQ patio place https://izmir-awning57888.wikiadvocate.com/6705553/considerations_to_know_about_izmir_awning