4140 will work harden??? I cut on a lot of 4130 - 4145 all heat treated in the 30's HRC. I've engineered a lot of stuff over the years using 41xx materials. I don't ever recall any of it work hardening from dull tools light cuts, etc. I use both HSS and carbide endmills on the stuff. I have a Bridgeport type of mill too. The worse that has happen, I've broken off my share of endmills over the years, from running them past the stage of being dull. Occasionally, I'll run across a piece of steel that may be heat treated in the high 50's or higher that will not cut at all. That piece gets tossed! But 4140 work hardening from machining? I guess if you rub on it with great forces with another piece of steel, it might surface harden.