Terrific. I would like to address a completely different topic, if I have a moment.
On the colours, I do remember in a previous life working in a corporate setting where it was a big deal for us what our colour code number was. That had to be consistent over all departments.
I take it that there are many reds. There are many greens. There must be numbers attached to them, and the use of different colours is very specific.