OK, I guess I'm either going cabin crazy or just plain confused on the directions for removing the differential from the output shaft of the tranny.

The directions say (and show) to wedge the tool between the output shaft and the horizontal bar inside the differential.

The directions say this:
1) Place the J 42562 between the end of the output shaft and the differential pinion shaft.
2) Using a hammer, hit the end of the axle removal tool in order to compress the output shaft compression ring (512) and push the output shaft through the differential side gear.
My question is: Do I just wedge a tool there until the output shaft pops out or becomes loose? Or do I need to do something special to compress the ring first before attempting to remove the shaft from the differential?