Hi fellow Villagers! does everyone have any knowledge in using a warm tub at their house but not coated underneath a Lanai? Trying to figure out if we need to commit $8-10k (ouch) over a Lanai extension or perhaps install the hot tub on our BBQ patio area and find https://izmir-awning43198.ssnblog.com/33119088/5-easy-facts-about-izmir-awning-described