I really want to hold onto the original numbered pump. The former owner, Johannes Ditz, did a remarkable job of restoring the car with all original parts so I feel allot of anxiety oi I change even a nut from original to new. Is there a rebuild kit available out there?