I need to repair or replace my starter. Does anyone know why starter 136-7880 is so expensive at $175-250? It has a somewhat different design with long bolts outside the case and the head seems to be extra stout. There is an unexpected cross reference to Gravely 21110533. which seems to be much less expensive ~$100. Stens 435-095 is another supposed match and seemed to be around $100. Any other alternatives?

