Or just order the recovery media from HP. It's not that much money, and it ships quick.