We'll have it figured out in a few hours.
12.5 is normal for voltage when not running. The key is what the voltage drops to when he tries starting it. A good battery will stay above 10 volts while cranking. If it drops below that its not enough to turn the engine over.