Umpinnen wäre fast schöner
Kommt aber aufs gleich raus.
Stecker entsichern, Nagel und ein kräftiger Schlag - raus ist der Pin. Sollte man so zwar nicht machen, erfüllt aber den Zweck.
Oder man besorgt sich einen Ausdrücker. So ein Ding ist praktisch
Markus