Hi Fellow Villagers! does any one have any working experience in employing a very hot tub at their household but not covered below a Lanai? Striving to determine if we need to invest $8-10k (ouch) with a Lanai extension or merely set up the new tub on our BBQ patio https://izmirtente10752.blog-a-story.com/14998848/the-izmir-pergola-diaries