Have just been told that an oil pump will cost me over $600 which seems ridiculous for a simple pump. Anyone know of an alternative/after market?

BTW, don't let anyone tell you that the brake-proportioning valve can't be serviced if it leaks...just had mine fixed with a couple of new o-rings for $30 c.f. a few hundred for a new one...

Cheers