Thanks to you both for the replies.
I asked because of the horns I've examined recently, I've not been quite sure what the original method of finishing was. Some had clearly been scraped, but others had just as clearly been finished with abrasives of some kind. I wasn't sure if it varied between factories, or over time, or what.