RDIAS trip material?

[Gloftoe]

I'm trying to machine a new trip for my RDIAS. I'm currently using some O1 oil hardening tool steel to do the job. Is this tough enough material of which to manufacture a trip? Thanks for any help you can give me.