Hi fellow Villagers! does any one have any experience in utilizing a very hot tub at their property but not coated below a Lanai? Attempting to figure out if we have to invest $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio https://edgarzaxtl.blog4youth.com/34817655/not-known-facts-about-izmir-pergola