Denso Starter Repair (terminal broke)

I'd have a go at fixing that, say a 3mm button head machine screw with a male spade terminal like you would find on an old coil , punch a sutable piece of rubber out and drill a 3mm center hole for bolt , washers both side and nylock nut to sinch it up.