Fuck em, but also a few measurements, plastic prototypes, and 1 shapeways order and you could have a custom stainless socket wrench bit to fit these. I've printed a custom shaped utility box key in 17-4 for less than $50.