Ordered exact replacement part, watched You Tube Video, and replaced the dysfunctional pump.
It would behoove everyone doing this or other repairs in tight quarters and between stamped metal components, to be aware that trimmed edges are extremely sharp and can cause serious injury. Fortunately my cuts were not severe but they were painful. Other than that the procedure was simple and easy to accomplish.