I received the Leitz Trinovid 7x35B binoculars and they are great as-is, just as described.
I feel no need to invest in the repair now but I'm glad to know it's an option in future.

These were a terrific bargain. And Jon Goodman is a great guy to deal with!