Hello, I am new here. I have a Dixie Chopper that I've been running for about 25 years. Last fall, a pump line cracked and blew out. Lots of oil. I replaced all of the lines and re-filled the system with diesel engine oil. It took a lot of oil. In fact, I ran out and wound up adding a couple of quarts of 5w 40 I think. That is all I had on hand. It was the last day of weather for chopping leaves here, and I was running out of daylight. It worked fine. So my question is, do I need to drain the system and fill with the recommended oil? Or is it not critical to this pump? Thanks for any suggestions.