5415 and 7545 looks good.
But it's really hard to know! If you watch the movie, you will see a color which will be very different from each pictures of original helmets.
From all the photos that I have, it's never the same color! Some helmets seems to have grey decals, other have a darker blue, other have a kind of grey blue....
It's really a pain to know what is the correct color if you don't have an original helmet on hand.