Was a nasty interaction where my boat trailer ran over my tri bike (maybe I was involved). Taco'd the rear wheel and damaged a pedal. Lucky it wasn't frame damage.

Anyway....

The right pedal was damaged. I've already replaced the pedals, but would like to repair the damaged pedal and put on my road bike.

It grinds when rotated on the crank thinking bearing(s). After I took it off, I could tell the pedal axle was slightly bent also.
Pedal is PD-9000. I find kits for older pedals and they appear to mention that they will work for 9000 series too.
Is Y42T98010 the proper kit and will it work on PD-9000?