Let the pros do it - Ding King is a joke.

$50-$70 and they will typically get it out to where it isn't noticable at all.

The only thing is it would have been better to let them get the dent out first before you did the touch up paint, but they probably won't disturb it.