260 billion cubic miles worth of asteroids without going into space. Sure we are currently limited to a tiny fraction of that but start processing magma directly is an option.