All opinion, so take this for what its worth. But IMO Lucas isn't all that great.
Diesel Kleen is the #1 choice of truckers and diesel techs for a reason, its amazing stuff and you can notice the difference when you run it.
Lucas won't hurt anything, but next time you're buying stuff for your bus I'd heartily suggest trying the DK. HotShot's Secret oil additive is GOOD stuff for adding to the oil. I swear it made my engine a bit quiter, but who knows could just be in my head.
I'm not a big fan of additives in general, most of them are just snake oil.
Diesel Kleen and HotShots are two I swear by.