Rabbi, with your 3.3v rail at it's current setting, with the 4.0vdimm bios you should be able to get 3.4-3.5volts. Why aren't you doing that?