プログラム一覧の中に「再セットアップメディア作成ツール」とあったので、自分自身で再セットアップ用のメディアが作成できるものだばかり思い込んでいたんですが、実際はそうではなく、
出荷時にDVDが書き込み可能な状態（今回の場合は、別売りの外付けDVDドライブを付けておかないといけなかった）じゃないと、「再セットアップメディア」の作成は出来ないのだそうです。
じゃあ、どうするかというと、
「メディアオーダーセンター」という所から、別途購入（税込12,960円）だそうです。
変なとこにコスト掛かりますねぇ…