Robinhood is correct if it is an old style, but if it is the newer style no grinding needed.
I did one on a 4.40 action and did not have to cut or grind anything.
Ask Lisa when you email she will tell you one way or another.