Designed using an original pin and 3D printed by myself. Great cheaper alternative to the originals. Last photo shows the 3D Printed one against an original pin.
eBay