7.25 Pinion Shaft Removal

I'm reading those as being the directions for taking the differential differential cross pin bolt and pinion (spider) gear shaft out. These are crush sleeve axles so its definitely going to take some pretty sharp blows to knock the pinion out of the front case bearing.