What is my seal called?

you have to be careful when doing this. I could be wrong but i believe that the pinion depth is set with a crush sleeve and the torque on the bolt is what sets the pinion depth. I would look online for the factory service steps on the seal replacement.

Are you sure there is a crush sleeve on a 7 1/4?

He will need to torque the nut correctly no matter what.