I've made marking knives and the suchlike from HSS from time to time: it takes a lousy edge and holds it well. I doubt very much whether it's worth chasing your tail trying to get a superb 8000 grit...