> I've replaced my failing pump with one from JC Whitney a
> number of years ago.  Check their online catalogue

I carry the stock German made replacement pump for about the same price
after shipping. $29.95 (minus 5% list discount if your order totals
$50+). Part # 255 070 805

- Ron Salmon
  The Bus Depot, Inc.
  www.busdepot.com
  (215)  234-VWVW

_____________________________________________
Toll-Free for Orders by PART # :  1-866-BUS-DEPOT