[boxster1]

I used a standard 5mm allen wrench, however the wrench I used was double-ended and I did have to use the long end because the short end would not reach. I recently bought a whole set of standard metric allen wrenches for $9 at a generic auto supply store.