Hi fellow Villagers! does any person have any practical experience in utilizing a incredibly hot tub at their household although not coated below a Lanai? Striving to figure out if we have to expend $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio https://izmir-awning84724.activosblog.com/33139541/5-easy-facts-about-izmir-awning-described