The fuel pump on my 1983 Euro 500SEC had one of the studs strip. What's the correct replacement?

I believe it's https://www.pelicanparts.com/More_Info/0020919701.htm, but I'm not 100% sure as most parts references I can find are US-centric, so don't acknowledge a 1983 500SEC