Hi fellow Villagers! does anyone have any experience in employing a hot tub at their residence although not coated underneath a Lanai? Hoping to determine if we need to invest $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio location and see https://shaneajnrs.blogolize.com/the-fact-about-izmir-pergola-that-no-one-is-suggesting-73051609