Allen wrenches are really cheap, ball end or no. It doesn't seem worth agonizing over. The other suggestions are good, too. I have several sets of Allen wrenches, accumulated over decades. They all work about the same.

-soma5