[bobH]

I would try VERY hard to get that key out. If you are lucky enough to find an original lock cylinder, they are quite expensive. And, I used an aftermarket cylinder, which worked, but was never very good, and certainly not nearly as good as an original. I'd do everything possible to save that cylinder.