Thanks for that input! Here's RAL-5024:
db_file_img_6046_325xauto
tumblr_n93wmmespC1qjdcxso1_500
Here's another in that color:
RAL-5024_bike
I like that color a lot though it might be a shade or two darker than the Herse color in the first photo.
As far as decals, initially I thought I'd just go with the original head badge, but I might go for the cursive "Raleigh" on the downtube and the red font "International" on the top tube, both of which it had originally.