Re: Pump names

[Tim]

Here are my suggestions:

* Forest Pump
* Grumpy Pumpy
* Dave

Uh, I’m not very good at this. My friend Stephan came up with the name of my pump – Englebert Pumperdinck.