自作PC初心者パーツ購入相談事務所【16列目】

【題目】マザー交換
【目的】i5 2500KのOC（4.0Ghz常用を目安）、巨大クーラー換装済みHD5870を取り付ける
【予算】予算12000円程度
【詳細】
電源周りが弱いためかKP41が発生しており、C1E,C3,C6を切って、メモリ電圧を1.5Vから1.560Vにして運用中です（一応安定）
KP41対策と、KつきCPUを生かすため、電源フェーズがしっかりしてるATXマザーに交換します

第一候補は、ASROCK　Z77 Extreme4J：電源8+4フェーズ、保証2年らしい、ALC898（LANはBroadcom）
Asrock懸念事項としては巨大CPUクーラーとグラボの干渉がありえるそうですが、マザー同士を比べたら特に変わりないのでMATXだけの話っぽいです
(p)http://unkar.org/r/jisaku/1339340549/162
第二候補は、MSI Z77A-GD55：Extreme4と比べて40W近く差が出るという省電力、IntelのLANチップが魅力
しかし電源9フェーズ、OC時のオフセット設定ができないという点がマイナス、AudioはALC892

安定動作を求めるならASROCKなんですが、電源フェーズ数の差がどこまでOCに響いてくるのかいまいちわかりません
i5 2500Kは4.3Ghzでの常用が多いようですが、マージンとって4.0Ghz運用を考えています
4.0GhzだったらMSIでも十分安定しますか？
一応、絞りにしぼってこの二つなので、ほかに選択肢にいれたほうがいいマザーがありましたら教えてください

【その他】
現在の構成はGA-B74M-D3H、Win7 Pro 64Bit SP1 、セルスター700Wシルバー電源
Sound Blaster X-Fi Titanium Professional Audioを所有
ギター購入したので音楽デバイスはDTM用に切り替える予定があり、現在は取り外しています（USBデバイスを入れるかも）
光接続さえできればSU-DH1など外部のデバイスを使えるのでサウンドチップはマザーの選択条件としては重視していません

Z77A-G43 GAMINGも考えていましたが、KillerチップはINTELのLANカード、サウンドブラスターシネマのほうは
光接続のヴァーチャルサラウンドデバイスで代用できるため、15000円で買う利点が無いということで候補からはずしました