The codes therefore are the previous grey ones not the red ones, and then the colours at least show consistently, although I don’t know which filter would make the red appear so light. A red filter?

Yes. A red or orange filter lightens red and darkens blue. They were often used to increase contrast in skies.