I never cared for the physics of smaller steel pinballs. They lack of control and wild ricochets cheapen the play experience.
A denser material should be used for the ball. Ben briefly mentions lead in the second video. I would have gone with depleted uranium. If those are inappropriate for a toy, what about tungsten?