It's not. I think train-red is a slightly different shade from traffic-light-red, and the two greens are different two, and train-yellow is distinctly oranger. It just feels like an Arial vs. Helvetica sort of distinction to me, which is why I thought of you.