Hello Fellow Villagers! does everyone have any expertise in utilizing a incredibly hot tub at their home although not covered below a Lanai? Attempting to figure out if we must invest $8-10k (ouch) on the Lanai extension or merely install the hot tub on our BBQ patio place and see https://izmir-tente03621.wikitron.com/1394868/not_known_facts_about_izmir_pergola