Yeah, he can't flash in dos. In dos, nothing is recognized. Not the usb stick ( formated FAT and FAT32 ), not a hdd formated fat or fat32, nothing. The only method that works for him is to flash with the included bios utility.