It is real easy to drain a little transmission fluid and inspect the color. With that said, it may be that they fixed it when they did the work but did not have a way to reset adaptation (again, real easy to do if you have the correct tool).

__________________
Jim