Since you found out the diff pinion gear is worn, I'd probably have a diff ring gear on hand to compare with what you aready have. Also, don't forget to check the diff ring/pinion gear egagement when putting things back together. Especailly if not replacing both gears with new ones at the same time.