I've had to replace the lock and a really small chip near the lock before. Someone used a screw driver to pop the lock out... Anyways, the repair bill came out to almost $600 total. So that looks like it would cost a lot more...
Found a picture of the damage I had.
View attachment 219384