Thank you. I was looking at replacing it with the "cable lock" they sell, until I found out it retails for $990.

I'll try to find the right rubber seals and copper discs so I can repair it (hopefully).

I appreciate the help!