I bought an old (probably VERY old) 5’ sidewinder cutter. It’s rough, but it works. Going through it all now so I know what condition it’s in. Today was gearbox day. I know the seals were shot so I expected grease on the box. I was not disappointed. Based on the consistency I think it’s #1 or possibly #2 grease. Question for the collective, should I clean this out and replace with corn head grease (I have enough to fill the box)? Or just button it up and send it?