Is the radio the OEM unit or an aftermarket radio? If its the OEM radio, the dealership should be able to look up the reset code based on the VIN. Normally they charge for this but in your case, since they changed the battery, they should do this for free.
You might find a small tag somewhere in the bottom of your glove box with the reset code on it.