I'd also like to add that you need to find out why the pump shaft seal failed.
Was it just a wear issue and went? or was the pump deadheaded perhaps by a bad hyd valve, non operational relief or relief set to high.. or perhaps even a mis-seated quick disconnect.
on a positive displacement pump, it doesn't take much obstruction to pop a shaft seal.. oil has to go somewhere.
good luck on the issue. post back what you find.
soundguy