BTW, as an update, when I took the starter out I turned it by hand and it felt like it didn't turn as easy as I thought it should. I took it apart to inspect everything and found it clean and the brushes, armature and windings in decent shape. I wondered, however, how I was going to get it back...