Hello Fellow Villagers! does any person have any expertise in employing a incredibly hot tub at their house although not covered below a Lanai? Hoping to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio https://izmirawning15791.wikinarration.com/6724863/5_easy_facts_about_izmir_pergola_described