I wouldn't be too concerned about the 10mm dimension. A piece of 3/8" steel rod, or a 3/8" bolt will do the job just as well. A 3/8" twist drill is also probably easier to find, and cheaper.

__________________
'79 240D