Hello fellow Villagers! does anybody have any practical experience in utilizing a very hot tub at their property but not lined underneath a Lanai? Striving to figure out if we need to invest $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio https://izmirtente76397.dm-blog.com/34178798/indicators-on-izmir-pergola-you-should-know