Once space exploration really gets going, mobile chip fabrication is gonna be a pretty big deal.
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.