You wouldn't normally return to the stock file, just for a mere battery replacement, however, since you stipulate your intent on bringing the car to the dealer to do so, you should consider it, just to be safe.
Why? Because IIRC, Dealer Service Dept.'s routinely check/perform other updates to the ECM as a matter of routine practice.
So better to be safe, than sorry.
Sent from my DROID RAZR HD using Tapatalk