Arthur, that's a very interesting discovery! You mentioned battery cost, but not the first cost of the pump. I'm suspicious, since German car parts tend to be quite expensive, but the Aster hand pump is about $100 so it could also be a good bargain by comparison. What's the cost?
regards, -vance- Vance Bass Albuquerque, New Mexico, USA Small-scale live steam resources: http://www.nmia.com/~vrbass