Tray Sensor Pin Broken

One of the Tray sensor pins on my Formlabs 2 is broken.
Is there any manual to replace this piece?
Has someone documented doing this before?

I already know the piece can be acquired at mouser or Digikey, and the part number is 70AAJ-3-M0

You can check some pictures of the broken piece on the bottom or at this link:

I really appreciate any help you can provide.