Panny 12-35 vs Olympus 12-40

Ordering my GH5 on Monday looking for a good versatile zoom lens to go with it. I was planning on the 12-35 but the 12-40 caught my eye. I like the idea of the hard stops better for video on the Olympus and seems to be a little better built. But the Panny would save me about $100 and it has OIS.. Thoughts?