W115 1976 240D Power Steering Pump Pulley

[JSR]

Hello.

I am looking for a pulley in very good condition and better.

Dimensions of my pulley may be seen here:

https://photos.app.goo.gl/zqyWTCtkzqrHKSf5A

(I have seen various W123 pulleys on eBay (Part # 615 466 03 15) that are advertised as also fitting a W115. Sellers have confirmed that those pulleys are a larger diameter than the 123mm OD of mine.) (Sorry, no part # visible on mine.)

Thanks for your time, I appreciate any ideas/thoughts you may have - including converting to a manual steering box...

Regards,

Steve

3/31/20: may have found an old pump that comes with a pulley, will confirm shortly. I am still interested in a pulley or manual steering box, let me know. Thanks.