I can tell you the rear end was NOT taken apart. I made sure they (the dealer) knew the car was driven with the seal leaking.
They dropped the rear of the ds, pulled the nut, changed the seal, re installed the original nut, topped off the lube (gear oil only and no additive), then the ds re installed. Test drive ok. I'd post a pic of the paper but cannot attach pics yet
Then it was done wrong. There is a crush collar that if you have to back the nut off of the pinion flange for any reason at all at any time, must be removed and replaced.