No prob.
After looking at the pics again, I might lower that total to $250-$300, but again, depends on what shop and so on. Personally, I'd get the $ and buff the paint off and live w/ the little ding in the plastic. That money could cover most of your rear or front bumper getting painted...