Hey Al, it's not really an allen head size, it's a T30 Torx, which is the same size as all the other Torx screws on the bike, side covers, etc. I bought a couple Torx drivers at the local Ace hardware, and they happen to be the security kind... Check it out.
