I think you would want to polish out the damage and then rebrush it. If you're a DIY person, you can probably do a decent job. The polishing part will be easy, getting the brushing consistent takes a little practice.
Personally, I'm not sure I'd bother. You are going to pick up desk-diving marks regularly.