Yeah I forgot that you can file it a tad if it has a bur on it. It is hardened steel so it will take a while with the right file but it can be done.
It is just rare for a hook to need replacing, to me he is not that well versed on the vintage machines.
Billy