On a side note, I believe the original part used (or at least the one on my system) was the Wieland 8142 series:

https://eshop.wieland-electric.com/...inal-8142---2-ob/25.602.2253.0?locale=en

I ordered some a while ago but as I recall, they were more expensive since they come from Germany, so I would defer to Tim's suggestion.