FWIW having just decanted the remaining old oil from diff for disposal, I'm measuring close to 1.3 litres! A little more than manual suggests and hopefully helpful to anyone preparing to do the same job.
Pumping oil from below is so much easier and more controllable with the right kit BTW. Especially given the point Dave makes for filler plug access.
