Since no one seems to have any answers to my query, I'll just push this back up with a quick observation that after going out and riding on the newly-serviced pedal, I have to say the difference is amazing. I had the drivetrain built up only a little while ago, and my chain was relatively new, so I was wondering why the gritty feeling. That one pedal was causing it all.
Smoooo'ooooth!