RJ, That sounds about right. Since I retired I have misplaced my key. When the company I worked for went global I carried a key to fit for the last 10 years. I see you do not need any extras but any European electrical supply shop should have multiple options including some that would fit a nut driver/torque wrench.
Pavementends
