How hard is the work hardening of an old sledgehammer?