Yeah you are right, there is now a good bike shop mechanic in my town who probably had such a tool, but as the amount of metal I needed to remove was miniscule, just went lightly round once with a very fine file and then the new Chris King race went on as easy as the old one did on the old Pace RC35 mxcd forks from the '90's it replaced, headset lining up fine so got away with bodging it.
Yeah you are right, there is now a good bike shop mechanic in my town who probably had such a tool, but as the amount of metal I needed to remove was miniscule, just went lightly round once with a very fine file and then the new Chris King race went on as easy as the old one did on the old Pace RC35 mxcd forks from the '90's it replaced, headset lining up fine so got away with bodging it.