How's it going.Let me read of your question. Give me a minute.
Just to confirm If your print in black and white GREEN comes out?
This is a hardware issue. It looks like they have done a dodgy repair. Can I do some tests?
lets see if it is a hardware or a software issue. though it sounds as if the red is not working and just changing the red cartridge might fix it.
But to see where the problem lies
please make a color copy directly from the printer itself and let me know if the colors come out correctly or not.