I think the pumpkin color is "Red Oxide Primer".
I'm a Permatex No.2 guy with a thin coat with gasket. "The Right Stuff" with no gasket may be viable also
but it's expensive.
Rule of thumb is coat seals with whatever lube they are used in.
I wish you could have checked the axle flanges for...