How to change ckEditors config.colorButton_colors
Sorry. The question is sufficiently answered here

How do I override the default CKEditor configuration?

The file I was looking for is 

sites/default/files/civicrm/persist/crm-ckeditor-config.js 


but it isn't 100% permanent :-/