Hi,
Assuming you are talking about the SOHC motor, yes, it is correct. The pump is driven by the timing belt. This means you have to take the belt loose. To do that, you have to take all the timing covers off. You have to pull the crank pulley to get the bottom timing cover off. :lol: Not to mention the radiator shroud, the two big hoses, the fan, and all the accessory belts. Its really not difficult, just very time consuming. I would highly recommend replacing the timing belt and tensionner while you are in there, simply so you don't have to take all that mess back apart. Again, this is for the SOHC. From what I have read, the DOHC is pretty much the same. There are just some minor differences in how you line the crank and cam pulley's back up when you install the new timing belt.
HTH,
Adam