I've followed these directions and got stuck at removing the pump from the motor. I removed the 3 torx screws and then the pump just wouldn't let go.
My wife commented to me to "office space" it..
I tried a lot of bad ideas.. but what eventually worked was sticking a crescent wrench between the pulley and the bottom of the pump and just prying the thing off. I'm really not sure what the right way to do this is.. The concern I had about the way I did it, of course, is bending the pulley itself..
Upon removing it, the inside of the bearing and the shaft going into it had a nice rusting to them..
Also, I think it's worth mentioning that it's tricky getting the belt off. I'm worried about getting it back on. For those who haven't done this before, there is a tensioner in the belt path and pushing on it significantly eases belt removal (ie: makes it possible). This may not be obvious to someone who hasn't replaced belts before.