Hello fellow Villagers! does anyone have any expertise in employing a hot tub at their household but not protected less than a Lanai? Hoping to figure out if we need to invest $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio spot https://izmir-pergola42740.ampedpages.com/everything-about-izmir-pergola-61019985