https://pinside.com/pinball/forum/topic/looking-for-a-tool-that-can-insert-a-roll-pin