Good point. The space race would have massive benefits for us on earth in nanofabrication. Just one more bonus point for space.
Given the volume and mass payload capabilities of the upcoming Starship/Superheavy, cheaply lifting bulk quantities of lead into space may actually be a reasonable proposal in the next five years rather than ultra-expensive pie-in-the-sky fantasy as it was during the age of disposable rockets.