Im Tool von dosdude1 gibt es doch die Möglichkeit, das entsprechende OS direkt runterzuladen. Ob er das allerdings schon aktualisiert hat? Gute Frage, aber Versuch macht kluch