I'd clean it all up. Check the breather has a bit of tube going up and looped out of the way or even to a little catch tank. Check the level is about right. Then take it for a good drive to get everything nice and hot and see what it looks like. As said it's not that bad a job, although not much fun, removing and refitting the diff. 10 hours labour seems a bit excessive though.