It should be, it is part of the solenoid on the starter. Sometimes they do get sticky, start of failure. A good shop should be able to rebuild it.
I had mine rebuilt and purchased a VW starter that out of the box the pinion stuck, lucky it was warrantied.
If you have it rebuilt, have them bench test it in front of you to insure it is operating properly.