We were considering just putting it in one place, but all of the rest of the colors are only in the theme files. Themes (ours or custom) could specify their own ball color, even though right now they're identical.