Yea, what she'll want to do is call the dealership (assuming it's the factory radio) and give them the Vin # of the vehicle. With that, they will be able to get you the code which she should write down in case the battery fails in the future.

Sometimes the dealership will want to charge you but if you call back a few times, one of them might do it for you for free.