Well, there is no actual foot-pound torque spec for that nut. That's because its supposed to be torqued to compress a crush sleeve under the pinion bearing to a particular "drag" factor (measured in inch pounds) when spinning an unloaded differential. IMHO, you'd be OK torquing it to 60 pounds or so, then check for any "up and down" play on the pinion. If there's play, you may need to tighten it some more to get rid of the play (ie; to compress the crush sleeve some more).
The manual actually says the torque spec to be "original rotating torque plus 5 inch pounds". So to do it "right", you'd ned to take a rotating torque reading before disassembly. Then tighten the nut to the new rotating torque spec.
Good luck with it.