Hi Fellow Villagers! does any person have any expertise in employing a incredibly hot tub at their home although not coated less than a Lanai? Attempting to determine if we must invest $8-10k (ouch) over a Lanai extension or merely put in the hot tub on our BBQ patio region https://izmirawning38147.wikigiogio.com/1376212/izmir_pergola_an_overview