Hi fellow Villagers! does any individual have any experience in employing a hot tub at their home although not coated underneath a Lanai? Trying to determine if we have to spend $8-10k (ouch) with a Lanai extension or perhaps set up the hot tub on our BBQ patio location and https://izmirpergola71233.wikidank.com/1332066/5_essential_elements_for_pergola