Anyone know where to get a micromag ball detent?

[Junky]

I have a member looking for a pro-team micromag ball detent.
It takes 2 allen screws and bolts to the side like the old cocker ones.

Anyone know...besides pro-team, can't seem to get ahold of someone there to find out.

Thanks