I'm troubleshooting a CRT monitor and some of the ground wires use these connectors, the male part that is soldered to the board is basically a metal post (around 11mm long by 2.5mm diameter):

The female part that is crimped to the wire has a plastic shroud around it:

However other ground wires are soldered directly to the board, and I would like to fit these connectors instead since it would allow me to easily assemble/disassemble the monitor while I diagnose the problem. I am unable to find connectors like these on sites like Digi-Key or Mouser, but to be honest I don't know by what term I have to look them up. They seem to be pretty common on CRTs though. Can anyone help?