Fuel pump

I know all that but my question is the oiling of the gears and eccentric. I pulled the timing case and I see that the oiling drips or splashes down out of the two holes on the face of the block. The eccentric appears to be OK. So how much oil should be in the timing gear area?