I think it does not matter. Most people who use these types of models are into the IT world, and will know/be informed very fast that there is a difference. People will likely also use the 0731 behind it.

The only issue i see, is 3th party providers that have not yet updated. But that is going to be a short time periode. There is no reason to not update.