That isn't going to help if it is the pump. The EVO7-9 have a different style of pump that also does the ACD. Ohh and if it is the diff for sale, well he needs a pump, not a diff
Have a look for the nearest "neils parts" hit them up for a quote for the repair on the pump if you are near Dubbo ask for Derick and say Tommo from Gawler SA says Hi he will be the best to give you straight forward answers of who can and how much it will take to repair.
Oh and take it off of the car first as they are a ag spare parts joint but have the best knowledge of repairers of the hydrolic kind. http://neils.com.au/Contact.aspx
Before we get TOO excited, Steve when you said your pump is dead, how did you come to that conclusion? Could it be a faulty pressure switch keeping it switched off? Or have you actually taken the pump out and put direct voltage to the terminals?
If they removed the pump and disconnected it from the harness (including the pressure switch) and giving it 12V directly didn't result in activation then I'd say it's dead, yes.