Found your thread on a Google search. I cannot seem to identify the pump I just acquired, but it seems it's the same one as in your picture on this thread.
Hoping you might be able to let me know if you found out what yours was and if you knew of any parts/manuals links or locations.
Thanks!