That's what I call service! I would think long term though....just because it's dripping now doesn't mean it's going to drip for ever. At some point the leak may get worse, to the point where you can't add fluid quickly enough. I don't know if these particular seals can fail catastrophically dumping all the fluid in short order or not.
I would either sell/trade it now while it's still a minor drip, or be ready to do a rebuild if/when the time comes that the leak gets worse. It may drip forever, it may get worse next week. As was suggested, head over to diesel place and see if anybody has had the same issue and you'll know what to expect.
hard to believe they get that kind of cash for the cooler lines, I just bought OEM Delco lines for $13 each online. Still pi$$ed the shop didn't change those when they had the trans out, they are a pain to reach.
