The dent could be hammered down and dressed with a fine file. I believe that a 75% reduction of the mark could be had with that method. To get the last 25% you may have to TIG weld the tiny remaining mark and touch up the blue. IF you turn this into a DIY project use a harden polished rod to make the actual contact at the dent.
bill