Also replace 9 and 12 if you can. Mine were bad n this and alt.
12 should take a wrench and move it, rubber mallet the pump to break lose. If not, dont force it. loosen other bolts around it
FWIW, i change my belts with a screw driver. Literally 4 min job