That's sort of what I figured. Was hoping someone had some sources or part #'s. I know it's an AC-built pump, but so far I haven't gotten much info, other than what is in my owner's manual.
I've got a really good hydraulic shop near me, just hated to wait the 30-45 days it'll take for him to ID and price it out. They stay VERY busy - pretty much the only game in town. I appreciate the reply.