If you don't know what's in it, I'd recommend changing the filter and all of the oil.
Several of us use Chevron Delo 15w/40 diesel oil with good results.
Others use 20w/50 Valvoline VR-1, Torco, Royal Purple, Joe Gibbs...
Use something that you can get locally and get a little extra to keep on hand when needed.