I'm thinking that I remember that they are 10mm, 12 pt. You will want to get a cheapo 10mm box end and grind the outer portion of it to fit.
good luck

__________________
Jim