Every BMW I've owned has 17mm allen head drain/fill bolts on the differential. My '91 318ic has something else. Is it 12 or 13mm? I ask because the calipers say 13, but I can't find a 13mm wrench anywhere. I even stumped the guy in the Mac Tools truck with this one. 12mm?