That is correct. Vcore is 1.25, the rest is default. I could of tried stock voltage, but I know I'm gonna need more than this in the future anyway. 4x1GB Crucial Ballistix Tracer's too.
Your vdrop/vdroop must be way less than my board then, 1.25v for 3.5GHz is good assuming 1.25v is the bios setting, what does that give you in Windows idle and load?
Even on this board (P5E3) which has superior power management compared to the P5K I was getting 0.025v vdrop at 3.6GHz 1.225v (bios) down to 1.2v in Windows
4x1 GB Crucial Ballistix Tracers. Haven't tried 400FSB, I will tomorrow. I'm sure it won't have a problem there. I"m just gonna take it a little at a time every day.