Thanks to Jim Barr, author of How to Build a Wind Pump, for information.