What he said!
I have had a few of those pins that when broken didn't want to come out by pushing... tell your husband he may need a punch and a rubber mallet and a gentler hand than he used putting it away.
Might as well order 2 or 3 while you're at it too, they do get brittle with age.