I have here a list of 50+ RAL and xKxxx (like 2K216) colors.
I don't remember where I got those from and if I'm allowed
to share them in public. I also do not know if the Radiance
RGB values are validated or 'just' calculated.
Jan Diepens of University of Technologie Eindhoven sent me a complete
list of RAL colours some time ago. I have to admit that they are still
not in the ColourPicker. I've put them up for your perusal: