As mentioned, fuel and oil rarely if ever mix inside the pump. If you want to flush gunk out, just remove the inlet and outlet banjos from the pump reservoir and flush some kerosene or diesel purge through there. I actually doubt anything nasty made it past the tank strainer, and primary and secondary fuel filters. These pumps are fairly hardy, unlike distributor pumps (like VWs) which are exclusively lubricated via fuel.