HDX Card Parts?

[Drywsef]

Hello all,
I have an HDX card with a broken Port A. I was once working on my computer, when it suddenly jerked downwards with a Mini Digilink cable still in Port A. Unfortunately, Port A suffered bent internal pins, so I have been getting along using Port B.
I finally reached out to Avid and was quoted a repair cost of ~$1200. I can't make any sense of that repair expense, as there are used cards on the market for as low as $1400.
I know this connector replacement is a simple matter of finding the part and attempting a very low-risk hot air rework. Does anyone have any wisdom for finding a Mini Digilink port? Someone found the old Digilink connector on mouser some years back... Any help is truly appreciated!