He might want to check his local trans shop, too. They usually by modulators, filters, pan gaskets, clutches, etc. in "bulk" and sometimes have cheaper prices on these items than regular retail auto stores.