How are Ben Johnson's PR's in the weightroom?

That’s over 700lbs 1 rep max.