sedator, it will probably be easier to just take the existing original lock to a competent locksmith and get it repaired.
It doesn’t matter what’s broken in it or faulty, it should be a straightforward repair in the right hands, it might be a cracked latch-tail needs silver soldering, a new part making or something as simple as a broken spring. Whatevers gone wrong it will more than likely be easier than tracking down a lock that’s a perfect identical match.
