My 1994 Explorer has been experiencing hard starting lately, though the battery test shows a full charge. I had to jump it today to get home from work. At home, I cleaned the battery terminals and reconnected. The starting motor turns, but not the engine, and there is a machine-gun sound. I suspect the solinoid for the starter pinion is not doing its job. How hard is it to fix?
TIA
Dan