You are the machinist. More of one than I am, I'm sure.
I would think it would be simple to grind the tips, even by hand, I'm always thinking I can do stuff by hand but I'm probably wrong about my method, and Chrome them. The hard Chrome not the shinny Chrome. Or Nitride. Or even re-harden them.
I have found newer rocker arms on Ebay. I will only buy stuff there that has a good picture of critical areas. The wreckers are jacking up their prices but an individual with lower prices come through now and again. Of course this takes time and a little luck.