How to Get coal & grease off workclothes?

My husband works at a coal mine as a diesel fitter and comes home covered from head to toe, in coal dust, grease, oil and Who know what else. My washing routine with his work clothes works well to remove most of this, but what is a good way to attack the tainted harsh stains that these type of things leave.