Thanks for that info, Jim
So far I've located a salvaged part at Potomac German Auto (
www.pgauto.com) for $279 with a 100-day warranty. A one-year warranty is $50 extra.
Also, a rebuilt pump at German Star (
www.germanstar.net) for $365 plus core exchange ($150 core charge).
Finally, a new pump from Import Auto Parts (
www.import-auto-parts.com) for $1032. Shipping is additional for all.
Hope this helps someone else...