I ran the pump without fluid for 5k or more miles while I was deciding
whether to invest in the repair or not.  I plan to go back to that shop
in 10 days or so but the shop is in Los Angeles and I am in Seattle. At
the very least I either have to get the leak fixed or continue filling
it with fluid till I get back to the shop.  I first noticed the fluid
yesterday.  But to confuse matters I also hit the pan on a rock a
couple weeks ago and it has been repaired 2x by different people.  so
the hydraulic fluid could have been leaking for quite a while and I
didn't notice it.  But I was checking after the last repair and didn't
see anything till yesterday.

I guess I'll have to make sure it isn't leaking one way or the other
before I leave.

thanks,

Mike