I am starting my first try at restoring a 1948 Tokheim 39 tall pump. It was a red Skelly Gas pump and that's what I want to go back to. My question is, what is the correct color number for that color red.