Tuning question: de-tune then re-tune for edge damage?

Quesiton for the experienced and/or opinionated tuners out there:

When repairing edges from rock damage, what is your preferred procedure/tool(s)?

Do you de-tune first (side edge, then base edge), then file and finish with a diamond(s)?

If so, what do you prefer to use to remove case-hardened steel -- a coarse diamond, a pocket stone, or something else?

Is a coarse diamond enough to change edge angle? (I don't believe it is.)

Do you still file or do you use a sequence of ever-finer diamonds?

I'm always looking to refine my tuning procedures, so I'm looking for some opinions.

I did read Dipstik's guide to tuning.

Thanks!

Hmmm for rock damage I'll usually go at it hard with a coarse file for a bit and then later smooth it up with a diamond stone. and then finish it up with a gummy stone for a pass perpendicular to the edge, hoping the snow ignores that part of the edge.
;)

I usually got at the bigger burrs with a coarse stone or coarse diamond first then file.

For case hardened spots hit it with the diamond again and refile, repeat until its gone

polish with a ceramic or fine diamond it I really want to be anal

I go with hard, coarse stone first, then file, then finish with polishing stones.

stone first because the hardened steel will fuck your files up if you don't stone it first.

Thank you!

A stone or diamond first (before the file) makes sense. I'd been told to use a stone on the base edge and a diamond on the side (as a diamond cuts a little more aggressively than a stone) to preserve the edge as much as possible.

Any particular stone recommendations? I've pretty much been using a coarse diamond for removing the major case/work-hardening, but maybe that's not the best thing?

Thank you!