Quoted from Trekkie1978:Let me rephrase it. I own a construction company. I have every kind of tool at my disposal...Allen keys in that size are never used/needed.
Secondly, I'm sure people lose them over the years. Don't think so short sighted that everyone has pins that use them. Go into the average home, you'll find a socket set 100% of the time before you find an Allen key that is big enough to work the specific pinball coffin lock.
If you buy a set of allen keys, you'll have one of the size you need. Most people who have any set of tools have a set of allen keys around. Sheesh you make it seem like its some mythical tool. Its not. Very common.