Annoyed nerds are the best nerds. Well done.

I had to look up RAL colours. They're the German Pantone, it seems: https://en.wikipedia.org/wiki/RAL_colour_standard