Sorry for the late reply.
Could not seem to find the service manual for that model.
The tech who told me my pump was bad briefly showed me the pump replacement pages from the service manual but couldn't print or email them to me. He suggested I ask at this site for them.
Interesting, wonder who that would have been.
Did you get the new pump installed?