Here's how the damage looks like:
I've asked several tech people and they suggest either drilling the remaining bit of the lock with a dremel, carefully of course, or using needle-nosed vice grips to try to rotate the remaining piece out. Any suggestions?