Thanks Mike Tangas,

That little tool part costs US $47 !!!

Gosh, the German tool manufacturers have always fleeced their
customers with exorbitant and ridiculous prices for their tools.

Long live Taiwan or China-made tools (from trustworthy US distributors of course). I just wish they could make more specialized tools.

Eric