If these were hydraulic pumps used all day long in machinery then the type of oil would matter more.
These pumps get used maybe a minute a day.
I bet you could use olive oil and it would work fine.
My pump is marked 10W30, but like Bondo I use ATF.
I use ATF for identification purposes in case...