While I suspect there wasn't much agonizing over the decision there would have been a bit more thought put into it to make the move. Part of me thinks this was done primarily because most media is now digital and Pantone Red 200 shows up much better than Pantone Red 199. You'd be surprised at what user testing will reveal with even the slightest color change.
Here is a better example of the difference between the two.
Control F to #C41E3A for PMS 200. The one right above it is the old reds color. It might seem insignificant to you, but I've seen user testing (A/B) where color can change emotions and perceptions of negativity/positivity even with differences as minute as PMS199 to PMS200.
I actually like the new Red. I think it looks 'more' red. I'm willing to bet a decent amount of user research showed others felt the same way and some thought went into making this decision, albeit not on a full rebranding scale.