Does anyone know what color red that tip should be?

I think I read somewhere that it's International Harvester Red .