Please check out joining the Emergency Contact List for help during your travels!
Ended up buying aftermarket pump from buds benz(a little disappointed they ground off the nameplate!).In 40 years the car has never started better.
What are you going to do with your old short style pump?