I think it's quite sensible. When you have people who can do the work... Just a standard CLA for this team.
It must be reasonably "inexpensive" to polish and recoat a lens. I took a vintage lens to a place in Pasadena, close enough to be the place JPL would have used for the purpose. They charged me less than I paid for the lens to do the work. In the end, I probably have a better lens than if I had picked out one in mint condition.