They've done this in the past, sometimes without even mentioning it when they replace the battery. It shouldn't be an issue when you bring it up.
If it makes a difference in the purchase, the 90 battery should be able to output a little more horsepower than the original 85 could; it's not quite up to the original 691 claims that they stated for the P85D early on, but it's closer.