I got the car, and it looks like the pump is shot. Everything run/works fine, but it leaks. I'm also going to fix the top lock(s) in the window frame as they have a leak as well.

Do I need to pull the power steering and tensioner pulleys to get them out (PSP & Tensioner)? I've read a strap wrench for holding the pulley, but is there anything else needed? Is the tensioner held in with a 17mm hex bolt (I read that somewhere, but it seems like an odd fastener)?