Personally, I prefer the subtle blue of a 13,000K-15,000K bulb with actinics, though they don't add much blue to the equation and aren't good for much more than dawn/dusk simulation. But if you are more interested in coral growth than their appearance, I would definately recommend a 10,000K bulb.
For reference, here is a picture of my tank with 2x175W Coralvue 15,000K bulbs supplemented by one 96W Actinic 03 PC bulb.