did you somehow dump those setting from BIOS into a text file? If so, how?

DFI's really are the beast