Replace internal microphone or input jack on v13

Hardware
3

There was a thread on this a while back about replacing the headphone jack on a Librem 15. Someone found a close fit on eBay:

Replacing it, at least, should be possible.