Yep, 3925100 is what you want.
I don't see any warnings that it is discontinued through Cummins.
Your set-up comes up a little different than my old one but uses the same hose.
Sells for 55. 00 to 70. 00 depending on dealer mark-up.
As I said above, I can't check the Cummins factory today, I will Monday if you want. Then you can call any local Cummins Certified Dealer, including the truck dealers and they can order it for you. If you fly it in, figure another 20. 00 for freight.
Let me know Monday if you want me to check for you.
Mike.