My old diesel mechanic used to only recommend Marvel Mystery Oil, or the Lucas product.
I'd double-check with him, but he died in a car wreck ~ 10 days ago.
A friend had a truck repair shop and told me about using Marvels Mystery Oil. I passed it on to others that used and with good results.