Worth finding out what he checked just a bit odd it only did it after 4k miles when you changed the oil. So was type of oil was it?! And was it still full when you stripped it?!

Either way would be worth sticking a new pump in now anyway when you re build it