what kind of ballasts do you have? to get the best out of euro made bulbs you should make sure you have pulse start M80s, they will still fire on m57 magnetics or electronic ballasts but won't run up to the spec of the bulb.
i currently think radiums w M80 ballasts is the best setup out there- coral coloration wise.
I think if you are in the market for a 10k-14k range then I would look to brands like aqualine bushke, ushio, phoenix, reeflux.