Actually, 7/16 allen is the proper allen head I'm looking for.
Either format would work:
Autozone has nothing, nor does Sears. I can order from Amazon, but looking at Tuesday delivery - truck is sitting in garage in pieces
It's a super un-common size, for sure. Most typical; sets goto 10mm or 3/8
