I think I made a guess on how much to grind off based on the depth of the screw looking thread remaining on the cone.
The better side had just a few scrape marks on it so I didn't take much off that side.I then assembled it without springs to see how loose the spider gears were. I had access to some shims from a datsun dealer. Wish I knew what differential they were for! Anyway put it together a couple of times without springs till I'd reduced the slop in it without it binding. It was definitely the "cut and try" method of backyard engineering.