Reason I asked is that they seldom go bad. Of course if he doesn't have one at all that would be a good reason to be looking for one. A few months ago, someone had several of them for sale in the classified section for $60 apiece. I took a chance and ordered one from him for a spare. It was brand new in a Cummins box.
He had another ad since then but sold out real fast.
Bummer on the 5th gear problem. I recently replaced my auto with one from DTT. That really knocked a hole in the savings account.