I replaced the starter on my 5424 with a new Denso. The new Denso is about half the size and weight, and turns the engine over twice as fast. Cost about $85 on Ebay.
One observation : getting the old one off was a nightmare. The bolt heads are hidden by the starter. I ended up using 5 ft of extensions, with two universal joints, with a DeWalt electric
impact driver, from the salon!
By no means assume you're going to able to change it.
If you search on Denso 18148 on Ebay, there are about a thousand options.
Getting the new one on was easier, as the starter is smaller and access to the bolt heads is much better.