Hi all. I have a John Deere 4020 that is getting diesel in the oil. Dealer says it needs Injection Pump. I've never used a additive to lube the pump and wonder if the pump is worn because of this. Has 5500 hours on it and runs good except for an occasional rpm surge when I have my wood spliter...