I wouldn't stress about the red grease being in there. I would add a lot of moly grease to fill the cavity though, at minimum. (what I mean is, I wouldn't bother cleaning the red grease out first--it will mix just fine with the added moly, or it won't--but either way it will lube what needs lubing)
I'd like to hear what @cruiseroutfit does in his shop. I have a suspicion that he will say something along the lines of "follow the FSM".
I'd like to hear what @cruiseroutfit does in his shop. I have a suspicion that he will say something along the lines of "follow the FSM".