Telo I know you want to help, but if you don't own an Asus DDR3 P45 chipset based mobo, plz don't give advice on voltages...or settings.. this board sadly has major ram incompatabilities and think we have to wait a few more bios updates before some peeps rigs will fly...

Also VID is nice but there are loads of CPU's that can run stock speeds at a voltage way below the VID... your claim is a so NO sir... if he can run 3.6 stable at 1.25 he should be able to make 4ghz around (sub) 1.4 level

My E8400 reads out as 1.2250 too and yet it almost does 4ghz at it (in fact I need 1.24Vcore), 3Ghz is done at 1volt...