I'm sure he's not talking about globs of grease and such. Plus I bet that
you wash more oil and grease from your hands in one washing then you would
get off an entire set of tools. I know I have.
Personally, I would not wash my tools in the dishwasher, I normally just use
a rag and clean them up that way. However if for some reason they were to
get grit on them Well then I would just throw them into the parts washer.

Searcher