I don't believe that procedure is in the service manual. If you look at how the nut bottoms out, there are several threads exposed on the outside of the nut. For a stake to be effective, you'd have to ruin those several threads with half of the stake. A stake should only be used when the nut is almost flush with the end of the pinion shaft. It's almost as if a washer was left off. If they used a washer and still had that many threads exposed, I would have endorsed double stacking two washers and a proper stake, before tack welding. IMO, in this instance, a stake is actually worse than the tack weld. Those nuts were prevailing lock nuts from the factory. In other words the outside hole was "squished" a little oval so that the nut had an interference fit. Although I've never seen it in print, I believe those are really only supposed to be used one time and then replaced. They obviously knew that the nut fit more loosely than it was supposed to, or they would have never tack welded it. I guess if they didn't have access to a new nut, that was the best that they could come up with.......but "best" is pretty objective. lol