So, to cut a long story short, I also decided to change the diff, basically to guarantee a season of less-clunky driving.
The cover came off the new diff really easy (which made a change)
It's an open diff with a 3.92 ratio. I'll look at the tables later to see how that changes the overall drive ratio.
It all looks good and seems pretty tight (but not too tight!)