Matthew has the answer!
They typically use a third party sharpening service, who starts around $15+ for specialty sharpening. You'll have better luck looking for a sharpening kit, or a replacement chain. If push comes to shove, I'm certain they'll be happy to find a round file and hand file it for you, for a shop fee of course.
Thanks! Your answer is awaiting moderation.