10K would definately be a good choice. It is normal to loose intensity with the higher Kelvin bulbs. The 10K bulb is more of a white bulb. They don't really get yellow until around 6500K. Your PC's should give you all the blue you need and you will probably notice better coral growth under the 10K also.