Sounds right to me -
but I will say this - when we did our super A and implements, we did a LOT of research.
What we found is that A.) nobody knows for SURE what was what color.
B.) even those that know for sure (people who bought this stuff new) often conflict - meaning IH changed colors often, even though you may not see it in the paint records.
I've seen the exact same sickle mowers painted at least three different ways. (original paint).
So my recommendation is to not worry about it - take an educated guess and go with it.
There's nobody out there that's going to be able to tell you you're wrong. If you find what looks like original paint, go with that.
Have also found that the original blue does fade to a sort of battle ship gray color.