Without this Bosch original tool the repair of our dishwasher would have been impossible to even start.
Made the job easy-peasy.
Availability and price all better than getting it from abroad (now).