I just finished replacing the power steering pump. What a pain in the butt. In case anyone cares, you have to remove the PS pulley before you remove the pump, there's simply no way around it.
Anyway, I got it replaced and put everything back together, threaded the belt back on, and started it...