Sorry for a kind of necroposting. As there talking about Linux recovery media, I want to note direct link to Linux ISO for HDM 17:
bootcd_x64.iso ...