5500k -10000k are acceptable for K ratings. the daylight just specifies spectrum.
Ah. All the CFL daylight bulbs always = 6500k (and "bright white is 5500 and "soft white" is 3500 or something), maybe not for other bulbs?
I agree that more light and/or higher spectrum may help. I had 10,000k power compact fluorescents in my old tank, I don't remember them being too expensive and they're smaller so you could fit more easily.