> Anybody know of a source for a set of pushrod tube
> seals(WBX;eight big, eight small)?

We stock these sets..

http://busdepot.com/details.jsp?partnumber=070109345K

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

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