On Tue, 16 Jan 2018, dwight via cctalk wrote:
You know that one can always remove the pins from the
lock and then any
key of the right diameter will work. It won't be original but it will
work.
Most any real lock smith can make a key for you if you give him the
lock. The ones on the HPs are not that hard to remove.
Or get a key cut based on the code number (if avaialable)
Or swap the pins to make the lock fit any other key that you have with the
same keyway.
(If so, and if the lock has the code number engraved/stamped on it,
consider taking a dremel to cross out the number that is no longer
correct. Or leave it, so that somebody getting a key code cut to
steal your machine wastes some time)