Hello Fellow Villagers! does anyone have any working experience in employing a very hot tub at their house but not covered underneath a Lanai? Hoping to figure out if we need to spend $eight-10k (ouch) on the Lanai extension or simply put in the hot tub on our BBQ patio https://cruzgotzc.bloggazzo.com/33255233/everything-about-izmir-pergola