It's on page 83 in the pdf....you can find the S4 here also, just go to the '01 page.....
Not sure why
you are asking if you need to replace it though.....but they can also get stuck, and can be cleaned out....there is also a auto replacement pump one can buy for less.....It's been listed here so I would assume a search would turn up a part number? I was told it's a '94 Ford Mustang 5.0 pump #FB 759, but not sure about that.?