Oil pump
Loosen the screws (1) using a 4 mm Allen wrench and remove pump body (2)
and gasket.
Remove the pump rotors (3) and (4), and extract the drive pin (5) to release
the gear (6).
Check gear (6) and rotors (4) for wear. Replace if worn.
Smear the rotors with oil and make sure to align the rotor dots (9)
on assembly. Use a new gasket.