Hi,
I have info about manual pumps offered by German dealers and usable with a drilling machine. Unfortunately I can't publish the links here. Prices about 50,- EUR - (stainless steel; heat resistent up to 90C).
If you need more info just let me know (links, translation etc.).
Cheers,
Norbert