Hi fellow Villagers! does everyone have any expertise in using a very hot tub at their household but not coated underneath a Lanai? Hoping to figure out if we must expend $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio area and https://pergola32816.wikiap.com/1363249/5_easy_facts_about_izmir_pergola_described