I had a real nice Versitron hardness tester at work,but no longer have access to it.
HSS is not as hard as you might think. There are many types,but a common hardness that I tested was usually about 63 RC.. That is too hard for a file to cut.
FOR PETE'S SAKE!! That English guy must be trying to ruin his file!! He needs to ease up on the back stroke,and he doesn't need to keep SAWING at the hardened steel bearing race. A little,short stroke will do perfectly well.
He doesn't mention it, but a fine cut 8" mill file is a good file for testing hardness. That is what he is using. The 8" Nicholson is labeled "bastard" cut,but it is actually a pretty fine cut file. A fine cut file will cut hardened steel better than a coarse tooth file. There are more teeth per inch on a fine cut file. The smaller the file,the finer the teeth will be for any designation of tooth size that is stamped on the file.