1970s K45 bevel gear
I’m cleaning & greasing my gma’s K45 mixer from the 70s. I can’t tell if this bevel’ gear’s teeth are worn or whether this is what it should look like. Google gives me newer, replacement parts, no vintage parts for visual reference. Anyone got an older K45 they can help confirm? Should I replace or keep part? .