Set it to your eye and make the tank look good. Coral can and are grown from 8000 kelvin to 20,000 kelvin.
Intensity with a good light like yoursis more important.
You'll probably prefer to always have your blues on at 100% during the day (then dim them to about 5% at night for a cool moonlight effect) your whites slowly winding up into a peak for a short amount of time, then falling back slowly.. you also may want to play around with any green light you have! Some corals really stand out underneath a nice green.